| error[E0407]: method `foo` is not a member of trait `Foo` | 
 |   --> $DIR/ice-mir-const-qualif-125837.rs:10:5 | 
 |    | | 
 | LL | /     fn foo<'a>(&'a self) -> impl Debug { | 
 | LL | | | 
 | LL | |         const { return } | 
 | LL | | | 
 | LL | |     } | 
 |    | |_____^ not a member of trait `Foo` | 
 |  | 
 | error[E0107]: missing generics for trait `Foo` | 
 |   --> $DIR/ice-mir-const-qualif-125837.rs:8:30 | 
 |    | | 
 | LL | impl<Item, D: Debug + Clone> Foo for D { | 
 |    |                              ^^^ expected 1 generic argument | 
 |    | | 
 | note: trait defined here, with 1 generic parameter: `Item` | 
 |   --> $DIR/ice-mir-const-qualif-125837.rs:6:7 | 
 |    | | 
 | LL | trait Foo<Item> {} | 
 |    |       ^^^ ---- | 
 | help: add missing generic argument | 
 |    | | 
 | LL | impl<Item, D: Debug + Clone> Foo<Item> for D { | 
 |    |                                 ++++++ | 
 |  | 
 | error[E0572]: return statement outside of function body | 
 |   --> $DIR/ice-mir-const-qualif-125837.rs:12:17 | 
 |    | | 
 | LL | /     fn foo<'a>(&'a self) -> impl Debug { | 
 | LL | | | 
 | LL | |         const { return } | 
 |    | |               --^^^^^^-- the return is part of this body... | 
 | LL | | | 
 | LL | |     } | 
 |    | |_____- ...not the enclosing function body | 
 |  | 
 | error: aborting due to 3 previous errors | 
 |  | 
 | Some errors have detailed explanations: E0107, E0407, E0572. | 
 | For more information about an error, try `rustc --explain E0107`. |