1 // FIXME(compiler-errors): I'm not exactly sure if this is expected to pass or not.
2 // But we fixed an ICE anyways.
4 #![feature(specialization)]
5 #![feature(return_position_impl_trait_in_trait)]
6 #![allow(incomplete_features)]
9 fn bar(&self) -> impl Sized;
12 default impl<U> Foo for U
17 //~^ ERROR method `bar` has an incompatible type for trait