src/test/ui/const-generics/issues/issue-68615-adt.rs

   1 // [full] check-pass
   2 // revisions: full min
   3 #![cfg_attr(full, feature(adt_const_params))]
   4 #![cfg_attr(full, allow(incomplete_features))]
   5
   6 struct Const<const V: [usize; 0]> {}
   7 //[min]~^ ERROR `[usize; 0]` is forbidden as the type of a const generic parameter
   8 type MyConst = Const<{ [] }>;
   9
  10 fn main() {
  11     let _x = Const::<{ [] }> {};
  12     let _y = MyConst {};
  13 }