1 // compile-flags: -Z chalk
12 //~^ ERROR the size for values of type `str` cannot be known at compilation time
15 // Implicit `T: Sized` bound.
16 impl<T> Foo for Option<T> { }
18 trait Baz<U: ?Sized> where U: Foo { }
20 impl Baz<i32> for i32 { }
22 impl Baz<f32> for f32 { }
23 //~^ ERROR the trait bound `f32: Foo` is not satisfied