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

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