| error: `for<...>` expected after `dyn`, not before |
| --> $DIR/recover-hrtb-before-dyn-impl-kw.rs:3:21 |
| | |
| LL | fn test(_: &for<'a> dyn Trait) {} |
| | ^^^ |
| | |
| help: move `dyn` before the `for<...>` |
| | |
| LL - fn test(_: &for<'a> dyn Trait) {} |
| LL + fn test(_: &dyn for<'a> Trait) {} |
| | |
| |
| error: `for<...>` expected after `impl`, not before |
| --> $DIR/recover-hrtb-before-dyn-impl-kw.rs:6:21 |
| | |
| LL | fn test2(_: for<'a> impl Trait) {} |
| | ^^^^ |
| | |
| help: move `impl` before the `for<...>` |
| | |
| LL - fn test2(_: for<'a> impl Trait) {} |
| LL + fn test2(_: impl for<'a> Trait) {} |
| | |
| |
| error: expected identifier, found `>` |
| --> $DIR/recover-hrtb-before-dyn-impl-kw.rs:10:24 |
| | |
| LL | type A2 = dyn<for<> dyn>; |
| | ^ expected identifier |
| |
| error: aborting due to 3 previous errors |
| |
