1 error[E0284]: type annotations needed
2 --> $DIR/parent_generics_of_encoding_impl_trait.rs:9:5
4 LL | generics_of_parent_impl_trait::foo([()]);
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `foo`
7 note: required by a bound in `foo`
8 --> $DIR/auxiliary/generics_of_parent_impl_trait.rs:6:48
10 LL | pub fn foo<const N: usize>(foo: impl Into<[(); N + 1]>) {
11 | ^^^^^ required by this bound in `foo`
13 error: aborting due to previous error
15 For more information about this error, try `rustc --explain E0284`.