diff --git a/src/test/run-pass/issue-4735.rs b/src/test/run-pass/issue-4735.rs new file mode 100644 index 0000000000000..aade0dcdc261c --- /dev/null +++ b/src/test/run-pass/issue-4735.rs @@ -0,0 +1,30 @@ +// Copyright 2013 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + + +use core::cast::transmute; +use core::libc::c_void; + +struct NonCopyable(*c_void); + +impl Drop for NonCopyable { + fn finalize(&self) { + let p = **self; + let v = unsafe { transmute::<*c_void, ~int>(p) }; + } +} + +fn main() { + let t = ~0; + let p = unsafe { transmute::<~int, *c_void>(t) }; + let z = NonCopyable(p); +} + +