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


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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