rewrite region constraints to smaller universes

Author: BoxyUwU

compiler/rustc_type_ir/src/inherent.rs

@@ -400,7 +400,15 @@ pub trait GenericArg<I: Interner<GenericArg = Self>>:
 
 #[rust_analyzer::prefer_underscore_import]
 pub trait Term<I: Interner<Term = Self>>:
-    Copy + Debug + Hash + Eq + IntoKind<Kind = ty::TermKind<I>> + TypeFoldable<I> + Relate<I>
+    Copy
+    + Debug
+    + Hash
+    + Eq
+    + IntoKind<Kind = ty::TermKind<I>>
+    + TypeFoldable<I>
+    + Relate<I>
+    + From<I::Ty>
+    + From<I::Const>
 {
     fn as_type(&self) -> Option<I::Ty> {
         if let ty::TermKind::Ty(ty) = self.kind() { Some(ty) } else { None }