error[E0277]: the trait bound `(): const PartialEq` is not satisfied
  --> $DIR/const-impl-trait.rs:34:17
   |
LL |     assert!(cmp(&()));
   |             --- ^^^
   |             |
   |             required by a bound introduced by this call
   |
note: required by a bound in `cmp`
  --> $DIR/const-impl-trait.rs:11:23
   |
LL | const fn cmp(a: &impl [const] PartialEq) -> bool {
   |                       ^^^^^^^^^^^^^^^^^ required by this bound in `cmp`

error: aborting due to 1 previous error

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