Type Definition Substitution
Other items inra_ap_hir_ty
type Substitution = Substitution<Interner>;
impl TypeWalk for Substitution
fn walk(&self, f: &mut impl FnMut(&Ty))