Negative impls are incorrectly mentioned as positive in help messages

[lcnr]

#![feature(optin_builtin_traits)]
#![feature(negative_impls)]

auto trait Foo {}

impl !Foo for () {}

fn test<T: Foo>() {}

fn main() {
    test::<()>();
}

Results in the following error:

error[E0277]: the trait bound `(): Foo` is not satisfied
  --> src/main.rs:11:12
   |
8  | fn test<T: Foo>() {}
   |            --- required by this bound in `test`
...
11 |     test::<()>();
   |            ^^ the trait `Foo` is not implemented for `()`
   |
   = help: the following implementations were found:
             <() as Foo>

The given help here is incorrect.

[lcnr]

Ah, this is a duplicate of #70849