| error: unconstrained generic constant |
| --> $DIR/generic-expr-default.rs:5:54 |
| | |
| LL | pub fn needs_evaluatable_bound<const N1: usize>() -> Foo<N1> { |
| | ^^^^^^^ |
| | |
| help: try adding a `where` bound |
| | |
| LL | pub fn needs_evaluatable_bound<const N1: usize>() -> Foo<N1> where [(); { N + 1 }]: { |
| | ++++++++++++++++++++++ |
| |
| error: unconstrained generic constant |
| --> $DIR/generic-expr-default.rs:14:58 |
| | |
| LL | fn needs_evaluatable_bound_alias<T, const N: usize>() -> FooAlias<N> |
| | ^^^^^^^^^^^ |
| | |
| help: try adding a `where` bound |
| | |
| LL | fn needs_evaluatable_bound_alias<T, const N: usize>() -> FooAlias<N> where [(); { N + 1 }]: |
| | ++++++++++++++++++++++ |
| |
| error: aborting due to 2 previous errors |
| |