Rollup merge of #157419 - khyperia:term_kind_rs, r=BoxyUwU

move rustc_type_ir Term things to term_kind.rs

- `TyKind`, `AliasTy`, and `AliasTyKind` live in `ty_kind.rs`
- `ConstKind`, [`UnevaluatedConst`, and `UnevaluatedConstKind`](rust-lang/project-const-generics#115) live in `const_kind.rs`
- `TermKind`, `AliasTerm`, and `AliasTermKind` live in... `generic_arg.rs` and `predicate.rs` ???

create a new file, `term_kind.rs`, that holds `TermKind`, `AliasTerm`, and `AliasTermKind`

(note that `Ty`, `Const`, and `Term` live in `rustc_middle`, not `rustc_type_ir`)

Author: jhpratt

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::*;