1 #![crate_type = "lib"] 2 example<const N: usize>()3 fn example<const N: usize>() {} 4 other()5 fn other() { 6 example::<[usize; 3]>(); 7 //~^ ERROR type provided when a const 8 example::<[usize; 4+5]>(); 9 //~^ ERROR type provided when a const 10 } 11