Project Binder and Predicate from Interner trait

Author: eggyal

compiler/rustc_middle/src/ty/context.rs

@@ -103,6 +103,8 @@ impl<'tcx> Interner for TyCtxt<'tcx> {
     type Ty = Ty<'tcx>;
     type Const = ty::Const<'tcx>;
     type Region = Region<'tcx>;
+    type Binder<T> = Binder<'tcx, T>;
+    type Predicate = Predicate<'tcx>;
     type TypeAndMut = TypeAndMut<'tcx>;
     type Mutability = hir::Mutability;
     type Movability = hir::Movability;

compiler/rustc_type_ir/src/lib.rs

@@ -43,6 +43,8 @@ pub trait Interner {
         + Ord
         + BoundAtOrAboveBinder
         + Flags;
+    type Binder<T>;
+    type Predicate: OuterExclusiveBinder + Flags;
     type TypeAndMut: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
     type Mutability: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
     type Movability: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;