blob: 145b062baf678ca1c72f451026c7354d57447331 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// compile-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() { }
|