1 warning: opaque type `Traitable` does not satisfy its associated type bounds
2 --> $DIR/nested-return-type3-tait2.rs:18:29
5 | --- this associated type bound is unsatisfied for `Sendable`
7 LL | type Traitable = impl Trait<Assoc = Sendable>;
10 = note: `#[warn(opaque_hidden_inferred_bound)]` on by default
13 LL | type Sendable = impl Send + Duh;
16 warning: 1 warning emitted