Move some TypeVisitable/TypeFoldable impls to rustc_type_ir

1 files changed, 20 insertions, 1 deletions

diff --git a/compiler/rustc_type_ir/src/const_kind.rs b/compiler/rustc_type_ir/src/const_kind.rs
index 70a8509b513..327a6671a46 100644
--- a/compiler/rustc_type_ir/src/const_kind.rs
+++ b/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()
+    }
+}