pub type PolyTraitRef = Binder<TraitRef>;
struct PolyTraitRef(TraitRef, Interned<[BoundVariableKind]>);
0: TraitRef
1: Interned<[BoundVariableKind]>