1 // Check that we correctly prevent users from making trait objects
2 // form traits that make use of `Self` in an argument or return position.
8 trait Baz : Bar<Self> {
11 fn make_bar<T:Bar<u32>>(t: &T) -> &dyn Bar<u32> {
15 fn make_baz<T:Baz>(t: &T) -> &dyn Baz {