diff options
| author | Michael Goulet <michael@errs.io> | 2023-10-18 23:09:17 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-10-18 23:09:17 +0000 |
| commit | 8d20182999a2baf711e37da276c1a4b2831dcc12 (patch) | |
| tree | acd01209df7c9edf0c78a996e023ccfa65fa1ef5 | |
| parent | cc705b801236d064260bb67b3a0a25e4747fa7ec (diff) | |
Remove unused variant BinderListTy
| -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>, |