Confusing error message: the trait bound String: From<impl Into<String>> is not satisfied

[earthengine]

Playground

struct Foo(String);
trait Bar {
    fn buz(&self, s: impl AsRef<str>) -> Foo;
}
impl Bar for () {
    fn buz(&self, s: impl Into<String>) -> Foo
    {
        Foo(s.into())
    }
}

The true error is that the trait signature is different than the impl block (and maybe the impl keyword shall not be in the trait as yet?). The message however, is really confusing:

error[E0277]: the trait bound `std::string::String: std::convert::From<impl Into<String>>` is not satisfied
 --> src/lib.rs:6:5
  |
6 |     fn buz(&self, s: impl Into<String>) -> Foo
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::convert::From<impl Into<String>>` is not implemented for `std::string::String`
  |
  = help: consider adding a `where std::string::String: std::convert::From<impl Into<String>>` bound
  = note: required because of the requirements on the impl of `std::convert::Into<std::string::String>` for `impl Into<String>`
  = note: the requirement `impl Into<String>: std::convert::Into<std::string::String>` appears on the impl method but not on the corresponding trait method

error: aborting due to previous error

[hellow554]

The second note makes the statement

= note: the requirement impl Into<String>: std::convert::Into<std::string::String> appears on the impl method but not on the corresponding trait method

I guess one could make that more present, e.g. as the actual error? I don't know if the impl method can actually differ from the trait method at all. Never tried that tbh ^^

[estebank]

@hellow554 it is possible to make implement a trait with a more restricting impl Trait argument than its trait, but then the trait's obligation for that argument flows down and makes it a requirement on use, which can be quite confusing, and slightly tangential to the original report.