mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove unused variant BinderListTy

Browse Source
This commit is contained in:
Michael Goulet 2023-10-18 23:09:17 +00:00
parent cc705b8012
commit 8d20182999
3 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
compiler/rustc_middle/src/ty/context.rs
View File

@ -94,7 +94,6 @@ impl<'tcx> Interner for TyCtxt<'tcx> {
type Movability = hir::Movability; type Movability = hir::Movability;
type PolyFnSig = PolyFnSig<'tcx>; type PolyFnSig = PolyFnSig<'tcx>;
type ListBinderExistentialPredicate = &'tcx List<PolyExistentialPredicate<'tcx>>; type ListBinderExistentialPredicate = &'tcx List<PolyExistentialPredicate<'tcx>>;
type BinderListTy = Binder<'tcx, &'tcx List<Ty<'tcx>>>;
type ListTy = &'tcx List<Ty<'tcx>>; type ListTy = &'tcx List<Ty<'tcx>>;
type AliasTy = ty::AliasTy<'tcx>; type AliasTy = ty::AliasTy<'tcx>;
type ParamTy = ParamTy; type ParamTy = ParamTy;

1
compiler/rustc_type_ir/src/lib.rs
View File

@ -60,7 +60,6 @@ pub trait Interner: Sized {
type Movability: Clone + Debug + Hash + Ord; type Movability: Clone + Debug + Hash + Ord;
type PolyFnSig: Clone + DebugWithInfcx<Self> + Hash + Ord; type PolyFnSig: Clone + DebugWithInfcx<Self> + Hash + Ord;
type ListBinderExistentialPredicate: 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 ListTy: Clone + Debug + Hash + Ord + IntoIterator<Item = Self::Ty>;
type AliasTy: Clone + DebugWithInfcx<Self> + Hash + Ord; type AliasTy: Clone + DebugWithInfcx<Self> + Hash + Ord;
type ParamTy: Clone + Debug + Hash + Ord; type ParamTy: Clone + Debug + Hash + Ord;

3
compiler/rustc_type_ir/src/sty.rs
View File

@ -577,7 +577,6 @@ impl<I: Interner, E: TyEncoder> Encodable<E> for TyKind<I>
I::Movability: Encodable<E>, I::Movability: Encodable<E>,
I::PolyFnSig: Encodable<E>, I::PolyFnSig: Encodable<E>,
I::ListBinderExistentialPredicate: Encodable<E>, I::ListBinderExistentialPredicate: Encodable<E>,
I::BinderListTy: Encodable<E>,
I::ListTy: Encodable<E>, I::ListTy: Encodable<E>,
I::AliasTy: Encodable<E>, I::AliasTy: Encodable<E>,
I::ParamTy: Encodable<E>, I::ParamTy: Encodable<E>,
@ -692,7 +691,6 @@ impl<I: Interner, D: TyDecoder<I = I>> Decodable<D> for TyKind<I>
I::Movability: Decodable<D>, I::Movability: Decodable<D>,
I::PolyFnSig: Decodable<D>, I::PolyFnSig: Decodable<D>,
I::ListBinderExistentialPredicate: Decodable<D>, I::ListBinderExistentialPredicate: Decodable<D>,
I::BinderListTy: Decodable<D>,
I::ListTy: Decodable<D>, I::ListTy: Decodable<D>,
I::AliasTy: Decodable<D>, I::AliasTy: Decodable<D>,
I::ParamTy: Decodable<D>, I::ParamTy: Decodable<D>,
@ -757,7 +755,6 @@ impl<CTX: HashStableContext, I: Interner> HashStable<CTX> for TyKind<I>
I::Region: HashStable<CTX>, I::Region: HashStable<CTX>,
I::Movability: HashStable<CTX>, I::Movability: HashStable<CTX>,
I::Mutability: HashStable<CTX>, I::Mutability: HashStable<CTX>,
I::BinderListTy: HashStable<CTX>,
I::ListTy: HashStable<CTX>, I::ListTy: HashStable<CTX>,
I::AliasTy: HashStable<CTX>, I::AliasTy: HashStable<CTX>,
I::BoundTy: HashStable<CTX>, I::BoundTy: HashStable<CTX>,