error[E0282]: type annotations needed for `Foo` --> $DIR/doesnt_infer.rs:11:15 | LL | let foo = Foo::foo(); | --- ^^^^^^^^ cannot infer the value of const parameter `N` | | | consider giving `foo` the explicit type `Foo`, where the const parameter `N` is specified error: aborting due to previous error For more information about this error, try `rustc --explain E0282`.