Error when passing a trait object as a generic type doesn't indicate what is the trait object

[shepmaster]

pub trait Example {
    fn query<Q>(self, q: Q);
}

impl Example for i32 {
    fn query<Q>(self, _: Q) {
        unimplemented!()
    }
}

mod nested {
    use super::Example;
    fn example() {
        1.query::<dyn ToString>("")
    }
}

error: the `query` method cannot be invoked on a trait object
  --> src/lib.rs:14:11
   |
14 |         1.query::<dyn ToString>("")
   |           ^^^^^
   |
   = note: another candidate was found in the following trait, perhaps add a `use` for it:
           `use crate::Example;`

Issues with this diagnostic:

1. The query method is not being invoked on a trait object; it's invoked on the concrete value 1.
2. The note suggests importing the same trait that is already being reported about.

[shepmaster]

/cc @estebank

#57744 also looks relevant based on the title, but appears to have a different enough error message.

[estebank]

Is the following output from #68377 enough?

error: the `query` method cannot be invoked on a trait object
  --> file.rs:14:11
   |
2  |     fn query<Q>(self, q: Q);
   |              - this has a `Sized` requirement
...
14 |         1.query::<dyn ToString>("")
   |           ^^^^^
   |
   = note: another candidate was found in the following trait, perhaps add a `use` for it:
           `use Example;`

[shepmaster]

I don't feel like it's at the usual amazing quality 😿. My points still appear to exist:

1. The query method is not being invoked on a trait object; it's invoked on the concrete value 1.
2. The note suggests importing the same trait that is already being reported about.

In some magical world, I might hope for something like this (and I'm very flexible in that):

error: the `query` method cannot be invoked on a trait object
  --> src/lib.rs:14:11
   |
14 |         1.query::<dyn ToString>("")
   |           ^^^^^
   = note: the method receiver is a trait object because of the generic type parameter
   |
14 |         1.query::<dyn ToString>("")
   |                   ^^^^^^^^^^^^
   = note: the trait `crate::Example` defines this method but it's not available because
   |
2  |     fn query<Q>(self, q: Q);
   |              - this has a `Sized` requirement

I tried to address my points via the notes.