src/test/ui/issues/issue-5153.stderr

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