}
}
TyBareFn(ref barefn) => BareFunction(box barefn.clean(cx)),
- TyImplTrait(ref bounds) => ImplTrait(bounds.clean(cx)),
+ TyImplTraitExistential(ref exist_ty, ref _lts) => ImplTrait(exist_ty.bounds.clean(cx)),
+ TyImplTraitUniversal(_, ref bounds) => ImplTrait(bounds.clean(cx)),
TyInfer | TyErr => Infer,
TyTypeof(..) => panic!("Unimplemented type {:?}", self.node),
}