Do not suggest adding a bound to a opaque type

[TaKO8Ki]

fixes #100442

[rust-highfive]

r? @fee1-dead

(rust-highfive has picked a reviewer for you, use r? to override)

[fee1-dead]

@bors r+ rollup

[bors]

📌 Commit 3855e03 has been approved by fee1-dead

It is now in the queue for this repository.

[fee1-dead]

I found a more minimal example:

pub trait T {}

struct S<'a>(&'a ());

impl<'a> T for S<'a> {}

fn foo() -> impl T {
    let x = ();
    S(&x)
}

fn main() {}

They are basically the same but I personally prefer a minimized version. But both are fine for me. Feel free to r= me if you change the test to this

[TaKO8Ki]

@bors r=fee1-dead

[bors]

📌 Commit c57ecfa has been approved by fee1-dead

It is now in the queue for this repository.