src/test/ui/transmute-equal-assoc-types.rs


1
2
3
4
5
6
7
8
9
10
11

// check-pass

trait Foo {
    type Bar;
}

unsafe fn noop<F: Foo>(foo: F::Bar) -> F::Bar {
    ::std::mem::transmute(foo)
}

fn main() {}