error[E0277]: the trait bound `(): Trait<1>` is not satisfied
  --> $DIR/unevaluated-const-impl-trait-ref.rs:20:13
   |
LL |     needs::<1>();
   |             ^ the trait `Trait<1>` is not implemented for `()`
   |
   = help: the following other types implement trait `Trait<N>`:
             <() as Trait<0>>
             <() as Trait<2>>
note: required by a bound in `needs`
  --> $DIR/unevaluated-const-impl-trait-ref.rs:10:38
   |
LL | fn needs<const N: usize>() where (): Trait<N> {}
   |                                      ^^^^^^^^ required by this bound in `needs`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.