tests/ui/specialization/transmute-specialization.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ run-pass

#![feature(specialization)] //~ WARN the feature `specialization` is incomplete

trait Specializable { type Output; }

impl<T> Specializable for T {
    default type Output = u16;
}

fn main() {
    unsafe {
        std::mem::transmute::<u16, <() as Specializable>::Output>(0);
    }
}