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