error[E0599]: no method named `foo` found for type `&dyn Foo` in the current scope | |
--> $DIR/issue-5153.rs:20:23 | |
| | |
LL | (&5isize as &Foo).foo(); | |
| ^^^ | |
| | |
= help: items from traits can only be used if the trait is implemented and in scope | |
= note: the following trait defines an item `foo`, perhaps you need to implement it: | |
candidate #1: `Foo` | |
error: aborting due to previous error | |
For more information about this error, try `rustc --explain E0599`. |