1 #![feature(generic_const_exprs)]
2 #![allow(incomplete_features)]
4 pub struct Foo<const N: usize, const M: usize = { N + 1 }>;
5 pub fn needs_evaluatable_bound<const N1: usize>() -> Foo<N1> {
6 //~^ error: unconstrained generic constant
9 pub fn has_evaluatable_bound<const N1: usize>() -> Foo<N1> where [(); N1 + 1]: {
13 type FooAlias<const N: usize, const NP: usize = { N + 1 }> = [(); NP];
14 fn needs_evaluatable_bound_alias<T, const N: usize>() -> FooAlias<N>
16 //~^^ error: unconstrained generic constant
19 fn has_evaluatable_bound_alias<const N: usize>() -> FooAlias<N>