move rustc_type_ir Term things to term_kind.rs

Author: khyperia

compiler/rustc_type_ir/src/generic_arg.rs

@@ -18,16 +18,3 @@ pub enum GenericArgKind<I: Interner> {
 }
 
 impl<I: Interner> Eq for GenericArgKind<I> {}
-
-#[derive_where(Clone, Copy, PartialEq, Debug; I: Interner)]
-#[derive(GenericTypeVisitable)]
-#[cfg_attr(
-    feature = "nightly",
-    derive(Decodable_NoContext, Encodable_NoContext, StableHash_NoContext)
-)]
-pub enum TermKind<I: Interner> {
-    Ty(I::Ty),
-    Const(I::Const),
-}
-
-impl<I: Interner> Eq for TermKind<I> {}

compiler/rustc_type_ir/src/lib.rs

@@ -52,6 +52,7 @@ mod pattern;
 mod predicate;
 mod predicate_kind;
 mod region_kind;
+mod term_kind;
 mod ty;
 mod ty_info;
 mod ty_kind;
@@ -81,6 +82,7 @@ pub use predicate_kind::*;
 pub use region_kind::*;
 pub use rustc_ast_ir::{FloatTy, IntTy, Movability, Mutability, Pinnedness, UintTy};
 use rustc_type_ir_macros::GenericTypeVisitable;
+pub use term_kind::*;
 pub use ty::{Alias, *};
 pub use ty_info::*;
 pub use ty_kind::*;