src/test/ui/const-generics/issues/issue-62878.rs

   1 // revisions: full min
   2 #![cfg_attr(full, feature(adt_const_params, generic_arg_infer))]
   3 #![cfg_attr(full, allow(incomplete_features))]
   4
   5 fn foo<const N: usize, const A: [u8; N]>() {}
   6 //~^ ERROR the type of const parameters must not
   7 //[min]~| ERROR `[u8; _]` is forbidden as the type of a const generic parameter
   8
   9 fn main() {
  10     foo::<_, { [1] }>();
  11 }