diff --git a/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs b/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs
index 5645ee8f78ec..c815ebaf7b66 100644
--- a/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs
+++ b/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs
@@ -1335,6 +1335,7 @@ fn visit_const(&mut self, ct: I::Const) -> Self::Result {
                 TypeFlags::HAS_PLACEHOLDER | TypeFlags::HAS_INFER | TypeFlags::HAS_ALIAS,
             ) =>
             {
+                // FIXME(mgca): we should also check the recursion limit here
                 ct.super_visit_with(self)
             }
             _ => ControlFlow::Continue(()),