| 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 |
| 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`. |
