error: at least one trait must be specified --> $DIR/issue-86719.rs:7:14 | LL | type E = impl ; | ^^^^ error[E0407]: method `foo` is not a member of trait `Bar` --> $DIR/issue-86719.rs:8:5 | LL | / fn foo() -> Self::E { LL | | |_| true LL | | } | |_____^ not a member of trait `Bar` error[E0282]: type annotations needed --> $DIR/issue-86719.rs:9:10 | LL | |_| true | ^ | help: consider giving this closure parameter an explicit type | LL | |_: /* Type */| true | ++++++++++++ error: aborting due to 3 previous errors Some errors have detailed explanations: E0282, E0407. For more information about an error, try `rustc --explain E0282`.