diff options
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 1 | ||||
| -rw-r--r-- | compiler/rustc_type_ir/src/lib.rs | 1 | ||||
| -rw-r--r-- | compiler/rustc_type_ir/src/sty.rs | 3 |
3 files changed, 0 insertions, 5 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index 05706e331f3..5030474d96b 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -94,7 +94,6 @@ impl<'tcx> Interner for TyCtxt<'tcx> { type Movability = hir::Movability; type PolyFnSig = PolyFnSig<'tcx>; type ListBinderExistentialPredicate = &'tcx List<PolyExistentialPredicate<'tcx>>; - type BinderListTy = Binder<'tcx, &'tcx List<Ty<'tcx>>>; type ListTy = &'tcx List<Ty<'tcx>>; type AliasTy = ty::AliasTy<'tcx>; type ParamTy = ParamTy; diff --git a/compiler/rustc_type_ir/src/lib.rs b/compiler/rustc_type_ir/src/lib.rs index 9f8d9f02ec2..51b3007723b 100644 --- a/compiler/rustc_type_ir/src/lib.rs +++ b/compiler/rustc_type_ir/src/lib.rs @@ -60,7 +60,6 @@ pub trait Interner: Sized { type Movability: Clone + Debug + Hash + Ord; type PolyFnSig: Clone + DebugWithInfcx<Self> + Hash + Ord; type ListBinderExistentialPredicate: Clone + DebugWithInfcx<Self> + Hash + Ord; - type BinderListTy: Clone + DebugWithInfcx<Self> + Hash + Ord; type ListTy: Clone + Debug + Hash + Ord + IntoIterator<Item = Self::Ty>; type AliasTy: Clone + DebugWithInfcx<Self> + Hash + Ord; type ParamTy: Clone + Debug + Hash + Ord; diff --git a/compiler/rustc_type_ir/src/sty.rs b/compiler/rustc_type_ir/src/sty.rs index 091b51440a6..5ff17a48e75 100644 --- a/compiler/rustc_type_ir/src/sty.rs +++ b/compiler/rustc_type_ir/src/sty.rs @@ -577,7 +577,6 @@ where I::Movability: Encodable<E>, I::PolyFnSig: Encodable<E>, I::ListBinderExistentialPredicate: Encodable<E>, - I::BinderListTy: Encodable<E>, I::ListTy: Encodable<E>, I::AliasTy: Encodable<E>, I::ParamTy: Encodable<E>, @@ -692,7 +691,6 @@ where I::Movability: Decodable<D>, I::PolyFnSig: Decodable<D>, I::ListBinderExistentialPredicate: Decodable<D>, - I::BinderListTy: Decodable<D>, I::ListTy: Decodable<D>, I::AliasTy: Decodable<D>, I::ParamTy: Decodable<D>, @@ -757,7 +755,6 @@ where I::Region: HashStable<CTX>, I::Movability: HashStable<CTX>, I::Mutability: HashStable<CTX>, - I::BinderListTy: HashStable<CTX>, I::ListTy: HashStable<CTX>, I::AliasTy: HashStable<CTX>, I::BoundTy: HashStable<CTX>, |