1 error[E0207]: the const parameter `N` is not constrained by the impl trait, self type, or predicates
2 --> $DIR/issue-68366.rs:11:7
4 LL | impl <const N: usize> Collatz<{Some(N)}> {}
5 | ^^^^^^^^^^^^^^ unconstrained const parameter
7 = note: expressions using a const parameter must map each value to a distinct output value
8 = note: proving the result of expressions other than the parameter are unique is not supported
10 error[E0207]: the const parameter `N` is not constrained by the impl trait, self type, or predicates
11 --> $DIR/issue-68366.rs:17:6
13 LL | impl<const N: usize> Foo {}
14 | ^^^^^^^^^^^^^^ unconstrained const parameter
16 = note: expressions using a const parameter must map each value to a distinct output value
17 = note: proving the result of expressions other than the parameter are unique is not supported
19 error: aborting due to 2 previous errors
21 For more information about this error, try `rustc --explain E0207`.