| 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 const generic parameter in `bar` |
| --> $DIR/unify_with_nested_expr.rs:12:8 |
| | |
| LL | fn bar<const N: usize>() |
| | ^^^^^^^^^^^^^^ required by this const generic parameter in `bar` |
| help: consider specifying the generic argument |
| | |
| LL | bar::<N>(); |
| | +++++ |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0284`. |
