Create better help text for impl A for B where B: A {}

[HintringerFabian]

Given the following code:

trait A {}
struct B;

//impl A for B where B: A {}
impl A for B where B: A {}

fn main() {
    let a: &dyn A = &B;
}

---

The stable (1.65.0) output is:

Compiling playground v0.0.1 (/playground)
error[[E0275]](https://doc.rust-lang.org/stable/error-index.html#E0275): overflow evaluating the requirement `B: A`
 --> src/main.rs:5:20
  |
5 | impl A for B where B: A {}
  |                    ^^^^
  |
  = help: see issue #48214

For more information about this error, try `rustc --explain E0275`.
error: could not compile `playground` due to previous error

The nightly (1.67.0 2022-11-28) output is:

Compiling playground v0.0.1 (/playground)
error[[E0275]](https://doc.rust-lang.org/nightly/error-index.html#E0275): overflow evaluating the requirement `B: A`
 --> src/main.rs:5:20
  |
5 | impl A for B where B: A {}
  |                    ^^^^
  |
  = help: see issue #48214
  = help: [add `#![feature(trivial_bounds)]`](https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021#) to the crate attributes to enable

For more information about this error, try `rustc --explain E0275`.
error: could not compile `playground` due to previous error

---

Ideally the output should look like:

  |
5 | impl A for B where B: A {}
  |                    ^^^^ Some helpful text here

I think there could be some sort of text explaining what can be done

---

I have found this when looking through the issue #105048

[lyming2007]

I'm still wondering what "Some helpful text here" should be in the suggestion

  |
5 | impl A for B where B: A {}
  |                    ^^^^ Some helpful text here