src/test/ui/rfc-2632-const-trait-impl/tilde-const-and-const-params.stderr

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