tests/ui/const-generics/issues/issue-73727-static-reference-array-const-param.rs

   1 // Regression test for #73727
   2
   3 // revisions: full min
   4 //[full]check-pass
   5
   6 #![cfg_attr(full, feature(adt_const_params))]
   7 #![cfg_attr(full, allow(incomplete_features))]
   8
   9 fn a<const X: &'static [u32]>() {}
  10 //[min]~^ ERROR `&'static [u32]` is forbidden as the type of a const generic parameter
  11
  12 fn main() {
  13     a::<{&[]}>();
  14 }