src/test/ui/higher-rank-trait-bounds/hrtb-wrong-kind.rs

   1 fn a() where for<T> T: Copy {}
   2 //~^ ERROR only lifetime parameters can be used in this context
   3
   4 fn b() where for<const C: usize> [(); C]: Copy {}
   5 //~^ ERROR only lifetime parameters can be used in this context
   6
   7 fn main() {}