src/test/ui/impl-trait/issues/issue-86719.stderr

   1 error: at least one trait must be specified
   2   --> $DIR/issue-86719.rs:7:14
   3    |
   4 LL |     type E = impl ;
   5    |              ^^^^
   6
   7 error[E0407]: method `foo` is not a member of trait `Bar`
   8   --> $DIR/issue-86719.rs:8:5
   9    |
  10 LL | /     fn foo() -> Self::E {
  11 LL | |         |_| true
  12 LL | |     }
  13    | |_____^ not a member of trait `Bar`
  14
  15 error[E0282]: type annotations needed
  16   --> $DIR/issue-86719.rs:9:10
  17    |
  18 LL |         |_| true
  19    |          ^
  20    |
  21 help: consider giving this closure parameter an explicit type
  22    |
  23 LL |         |_: _| true
  24    |           +++
  25
  26 error: aborting due to 3 previous errors
  27
  28 Some errors have detailed explanations: E0282, E0407.
  29 For more information about an error, try `rustc --explain E0282`.