tests/ui/higher-rank-trait-bounds/hrtb-wrong-kind.stderr

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