1 // Test that we emit an error if we cannot properly infer a constant.
2 fn foo<const N: usize, const M: usize>() -> [u8; N] {
7 // FIXME(const_generics): Currently this only suggests one const parameter,
8 // but instead it should suggest to provide all parameters.
9 let _: [u8; 17] = foo();
10 //~^ ERROR type annotations needed