| // build-pass (FIXME(62277): could be check-pass?) | |
| #![allow(dead_code)] | |
| #![allow(unused_variables)] | |
| trait Trait<'a> { | |
| type A; | |
| type B; | |
| } | |
| fn foo<'a, T: Trait<'a>>(value: T::A) { | |
| let new: T::B = unsafe { std::mem::transmute_copy(&value) }; | |
| } | |
| fn main() { } |