| error: only lifetime parameters can be used in this context | |
| --> $DIR/hrtb-wrong-kind.rs:1:18 | |
| | | |
| LL | fn a() where for<T> T: Copy {} | |
| | ^ | |
| error: only lifetime parameters can be used in this context | |
| --> $DIR/hrtb-wrong-kind.rs:4:24 | |
| | | |
| LL | fn b() where for<const C: usize> [(); C]: Copy {} | |
| | ^ | |
| error: aborting due to 2 previous errors | |