4 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
6 // Make sure we *can* project non-defaulted associated types
7 // cf ui/specialization/specialization-default-projection.rs
9 // First, do so without any use of specialization
19 fn generic_foo<T>() -> <T as Foo>::Assoc {
23 // Next, allow for one layer of specialization
30 default type Assoc = ();
33 impl<T: Clone> Bar for T {
37 fn generic_bar_clone<T: Clone>() -> <T as Bar>::Assoc {