New upstream version 1.49.0~beta.4+dfsg1

[rustc.git] / vendor / chalk-ir / src / cast.rs

diff --git a/vendor/chalk-ir/src/cast.rs b/vendor/chalk-ir/src/cast.rs
index c363d3800b39a26400f55c527d2aa0ef08f94752..647ac6b7ab96f5d350585de2aaef49502e91b2f4 100644 (file)
--- a/vendor/chalk-ir/src/cast.rs
+++ b/vendor/chalk-ir/src/cast.rs
@@ -78,7 +78,7 @@ macro_rules! reflexive_impl {
     };
 }
 
-reflexive_impl!(for(I: Interner) TyData<I>);
+reflexive_impl!(for(I: Interner) TyKind<I>);
 reflexive_impl!(for(I: Interner) LifetimeData<I>);
 reflexive_impl!(for(I: Interner) ConstData<I>);
 reflexive_impl!(for(I: Interner) TraitRef<I>);
@@ -164,15 +164,9 @@ impl<I: Interner, T: HasInterner<Interner = I> + CastTo<Goal<I>>> CastTo<Goal<I>
     }
 }
 
-impl<I: Interner> CastTo<TyData<I>> for ApplicationTy<I> {
-    fn cast_to(self, _interner: &I) -> TyData<I> {
-        TyData::Apply(self)
-    }
-}
-
-impl<I: Interner> CastTo<TyData<I>> for AliasTy<I> {
-    fn cast_to(self, _interner: &I) -> TyData<I> {
-        TyData::Alias(self)
+impl<I: Interner> CastTo<TyKind<I>> for AliasTy<I> {
+    fn cast_to(self, _interner: &I) -> TyKind<I> {
+        TyKind::Alias(self)
     }
 }
 
@@ -306,33 +300,6 @@ where
     }
 }
 
-impl<I> CastTo<TypeName<I>> for AdtId<I>
-where
-    I: Interner,
-{
-    fn cast_to(self, _interner: &I) -> TypeName<I> {
-        TypeName::Adt(self)
-    }
-}
-
-impl<I> CastTo<TypeName<I>> for FnDefId<I>
-where
-    I: Interner,
-{
-    fn cast_to(self, _interner: &I) -> TypeName<I> {
-        TypeName::FnDef(self)
-    }
-}
-
-impl<I> CastTo<TypeName<I>> for OpaqueTyId<I>
-where
-    I: Interner,
-{
-    fn cast_to(self, _interner: &I) -> TypeName<I> {
-        TypeName::OpaqueType(self)
-    }
-}
-
 impl<T> CastTo<T> for &T
 where
     T: Clone + HasInterner,