6 use std::mem::transmute as my_transmute;
7 use std::vec::Vec as MyVec;
13 fn my_vec() -> MyVec<i32> {
17 #[allow(needless_lifetimes)]
18 #[deny(useless_transmute)]
19 unsafe fn _generic<'a, T, U: 'a>(t: &'a T) {
20 let _: &'a T = core::intrinsics::transmute(t);
21 //~^ ERROR transmute from a type (`&'a T`) to itself
23 let _: &'a U = core::intrinsics::transmute(t);
25 let _: *const T = core::intrinsics::transmute(t);
26 //~^ ERROR transmute from a reference to a pointer
28 //~| SUGGESTION = t as *const T
30 let _: *mut T = core::intrinsics::transmute(t);
31 //~^ ERROR transmute from a reference to a pointer
33 //~| SUGGESTION = t as *const T as *mut T
35 let _: *const U = core::intrinsics::transmute(t);
36 //~^ ERROR transmute from a reference to a pointer
38 //~| SUGGESTION = t as *const T as *const U
41 #[deny(transmute_ptr_to_ref)]
42 unsafe fn _ptr_to_ref<T, U>(p: *const T, m: *mut T, o: *const U, om: *mut U) {
43 let _: &T = std::mem::transmute(p);
44 //~^ ERROR transmute from a pointer type (`*const T`) to a reference type (`&T`)
46 //~| SUGGESTION = &*p;
49 let _: &mut T = std::mem::transmute(m);
50 //~^ ERROR transmute from a pointer type (`*mut T`) to a reference type (`&mut T`)
52 //~| SUGGESTION = &mut *m;
53 let _: &mut T = &mut *m;
55 let _: &T = std::mem::transmute(m);
56 //~^ ERROR transmute from a pointer type (`*mut T`) to a reference type (`&T`)
58 //~| SUGGESTION = &*m;
61 let _: &mut T = std::mem::transmute(p as *mut T);
62 //~^ ERROR transmute from a pointer type (`*mut T`) to a reference type (`&mut T`)
64 //~| SUGGESTION = &mut *(p as *mut T);
65 let _ = &mut *(p as *mut T);
67 let _: &T = std::mem::transmute(o);
68 //~^ ERROR transmute from a pointer type (`*const U`) to a reference type (`&T`)
70 //~| SUGGESTION = &*(o as *const T);
71 let _: &T = &*(o as *const T);
73 let _: &mut T = std::mem::transmute(om);
74 //~^ ERROR transmute from a pointer type (`*mut U`) to a reference type (`&mut T`)
76 //~| SUGGESTION = &mut *(om as *mut T);
77 let _: &mut T = &mut *(om as *mut T);
79 let _: &T = std::mem::transmute(om);
80 //~^ ERROR transmute from a pointer type (`*mut U`) to a reference type (`&T`)
82 //~| SUGGESTION = &*(om as *const T);
83 let _: &T = &*(om as *const T);
86 #[deny(useless_transmute)]
89 let _: Vec<i32> = core::intrinsics::transmute(my_vec());
90 //~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
92 let _: Vec<i32> = core::mem::transmute(my_vec());
93 //~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
95 let _: Vec<i32> = std::intrinsics::transmute(my_vec());
96 //~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
98 let _: Vec<i32> = std::mem::transmute(my_vec());
99 //~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
101 let _: Vec<i32> = my_transmute(my_vec());
102 //~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
104 let _: Vec<u32> = core::intrinsics::transmute(my_vec());
105 let _: Vec<u32> = core::mem::transmute(my_vec());
106 let _: Vec<u32> = std::intrinsics::transmute(my_vec());
107 let _: Vec<u32> = std::mem::transmute(my_vec());
108 let _: Vec<u32> = my_transmute(my_vec());
110 let _: *const usize = std::mem::transmute(5_isize);
111 //~^ ERROR transmute from an integer to a pointer
113 //~| SUGGESTION 5_isize as *const usize
119 #[deny(crosspointer_transmute)]
121 let mut int: Usize = Usize(0);
122 let int_const_ptr: *const Usize = &int as *const Usize;
123 let int_mut_ptr: *mut Usize = &mut int as *mut Usize;
126 let _: Usize = core::intrinsics::transmute(int_const_ptr);
127 //~^ ERROR transmute from a type (`*const Usize`) to the type that it points to (`Usize`)
129 let _: Usize = core::intrinsics::transmute(int_mut_ptr);
130 //~^ ERROR transmute from a type (`*mut Usize`) to the type that it points to (`Usize`)
132 let _: *const Usize = core::intrinsics::transmute(my_int());
133 //~^ ERROR transmute from a type (`Usize`) to a pointer to that type (`*const Usize`)
135 let _: *mut Usize = core::intrinsics::transmute(my_int());
136 //~^ ERROR transmute from a type (`Usize`) to a pointer to that type (`*mut Usize`)