From 69148fd1900f0d2cbbb02a8ffed38b4ad014565b Mon Sep 17 00:00:00 2001
From: lcnr <rust@lcnr.de>
Date: Thu, 2 Apr 2026 12:33:14 +0200
Subject: [PATCH] add mgca fixme

---
 compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs | 1 +
 1 file changed, 1 insertion(+)

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(()),