Move some TypeVisitable/TypeFoldable impls to rustc_type_ir

Author: flodiebold

compiler/rustc_middle/src/ty/structural_impls.rs

@@ -272,7 +272,6 @@ TrivialTypeTraversalImpls! {
     crate::ty::AssocKind,
     crate::ty::BoundRegion,
     crate::ty::BoundVar,
-    crate::ty::InferConst,
     crate::ty::Placeholder<crate::ty::BoundRegion>,
     crate::ty::Placeholder<ty::BoundVar>,
     crate::ty::UserTypeAnnotationIndex,

compiler/rustc_type_ir/src/const_kind.rs

@@ -7,7 +7,10 @@ use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
 use rustc_macros::{Decodable_NoContext, Encodable_NoContext, HashStable_NoContext};
 use rustc_type_ir_macros::{Lift_Generic, TypeFoldable_Generic, TypeVisitable_Generic};
 
-use crate::{self as ty, DebruijnIndex, Interner};
+use crate::{
+    self as ty, DebruijnIndex, FallibleTypeFolder, Interner, TypeFoldable, TypeFolder,
+    TypeVisitable, TypeVisitor, VisitorResult,
+};
 
 /// Represents a constant in Rust.
 #[derive_where(Clone, Copy, Hash, PartialEq, Eq; I: Interner)]
@@ -120,3 +123,19 @@ impl<CTX> HashStable<CTX> for InferConst {
         }
     }
 }
+
+impl<I: Interner> TypeFoldable<I> for InferConst {
+    fn try_fold_with<F: FallibleTypeFolder<I>>(self, _folder: &mut F) -> Result<Self, F::Error> {
+        Ok(self)
+    }
+
+    fn fold_with<F: TypeFolder<I>>(self, _folder: &mut F) -> Self {
+        self
+    }
+}
+
+impl<I: Interner> TypeVisitable<I> for InferConst {
+    fn visit_with<V: TypeVisitor<I>>(&self, _visitor: &mut V) -> V::Result {
+        V::Result::output()
+    }
+}