a<const X: &'static [u32]>()1 fn a<const X: &'static [u32]>() {} 2 //~^ ERROR `&'static [u32]` is forbidden as the type of a const generic parameter 3 main()4 fn main() { 5 a::<{&[]}>(); 6 } 7