| trait Marker {} | |
| impl Marker for u32 {} | |
| trait MyTrait { | |
| fn foo(&self) -> impl Marker | |
| where | |
| Self: Sized; | |
| } | |
| struct Outer; | |
| impl MyTrait for Outer { | |
| fn foo(&self) -> impl Marker { | |
| 42 | |
| } | |
| } | |
| impl dyn MyTrait { | |
| fn other(&self) -> impl Marker { | |
| MyTrait::foo(&self) | |
| //~^ ERROR the trait bound `&dyn MyTrait: MyTrait` is not satisfied | |
| //~| ERROR the trait bound `&dyn MyTrait: MyTrait` is not satisfied | |
| } | |
| } | |
| fn main() {} |