1 // Check that a trait with by-value self is considered object-safe.
3 // build-pass (FIXME(62277): could be check-pass?)
5 #![allow(trivial_casts)]
16 // Legal because of the where clause:
17 fn baz(self: Self) where Self : Sized;
20 fn make_bar<T:Bar>(t: &T) -> &dyn Bar {
24 fn make_bar_explicit<T:Bar>(t: &T) -> &dyn Bar {
25 t as &dyn Bar // legal
28 fn make_baz<T:Baz>(t: &T) -> &dyn Baz {
32 fn make_baz_explicit<T:Baz>(t: &T) -> &dyn Baz {
33 t as &dyn Baz // legal
36 fn make_quux<T:Quux>(t: &T) -> &dyn Quux {
40 fn make_quux_explicit<T:Quux>(t: &T) -> &dyn Quux {