Fix associated types bounded on associated types

[syntacticsugarglider]

This currently fails due to codegen issues with the wrapper enum:

trait Generic<T> {}

#[protocol]
trait Test {
    type B;
    type A: Generic<Self::B>;
}

[syntacticsugarglider]

This is actually blocked on #65078 in rustc