1 // Split out of impl_wf.rs to work around rust aborting compilation early
3 // compile-flags: -Z chalk
13 // Implicit `T: Sized` bound.
14 impl<T> Foo for Option<T> { }
20 impl<T> Bar for Option<T> {
21 type Item = Option<T>;
26 //~^ ERROR the trait bound `f32: Foo` is not satisfied
29 trait Baz<U: ?Sized> where U: Foo { }
31 impl Baz<i32> for i32 { }