1 error: `~const` is not allowed here
2 --> $DIR/tilde-const-and-const-params.rs:25:11
4 LL | fn bar<A: ~const Add42, const N: usize>(_: Foo<N>) -> Foo<{ A::add(N) }> {
7 note: this function is not `const`, so it cannot have `~const` trait bounds
8 --> $DIR/tilde-const-and-const-params.rs:25:4
10 LL | fn bar<A: ~const Add42, const N: usize>(_: Foo<N>) -> Foo<{ A::add(N) }> {
13 error: aborting due to previous error