1 #![feature(associated_type_defaults)]
3 // Tests that a trait with one defaulted and one non-defaulted assoc. type behaves properly.
10 // `Bar` must be specified
12 //~^ error: not all trait items implemented, missing: `Bar`
15 //~^ error: not all trait items implemented, missing: `Bar`
29 let _: <u8 as Trait>::Foo = 0u8;
30 let _: <u8 as Trait>::Bar = ();
32 let _: <u16 as Trait>::Foo = String::new();
33 let _: <u16 as Trait>::Bar = true;