error[E0284]: type annotations needed --> $DIR/unify_with_nested_expr.rs:8:5 | LL | bar(); | ^^^ cannot infer the value of the const parameter `N` declared on the function `bar` | note: required by a bound in `bar` --> $DIR/unify_with_nested_expr.rs:14:10 | LL | fn bar() | --- required by a bound in this LL | where LL | [(); N + 1]:, | ^^^^^ required by this bound in `bar` help: consider specifying the generic argument | LL | bar::(); | +++++ error: aborting due to previous error For more information about this error, try `rustc --explain E0284`.