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<const N: usize>()
   |    --- required by a bound in this function
LL | where
LL |     [(); N + 1]:,
   |          ^^^^^ required by this bound in `bar`
help: consider specifying the generic argument
   |
LL |     bar::<N>();
   |        +++++

error: aborting due to previous error

For more information about this error, try `rustc --explain E0284`.