src/test/ui/transmute-specialization.rs

   1 // run-pass
   2
   3 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   4
   5 trait Specializable { type Output; }
   6
   7 impl<T> Specializable for T {
   8     default type Output = u16;
   9 }
  10
  11 fn main() {
  12     unsafe {
  13         std::mem::transmute::<u16, <() as Specializable>::Output>(0);
  14     }
  15 }