tests/target/issue-1255.rs

   1 // Test for issue #1255
   2 // Default annotation incorrectly removed on associated types
   3 #![feature(specialization)]
   4
   5 trait Trait {
   6     type Type;
   7 }
   8 impl<T> Trait for T {
   9     default type Type = u64; // 'default' should not be removed
  10 }