Drop environment when evaluating const without generic parameters

2026-04-30 06:43:20 +03:00 · 2025-11-08 16:14:54 +00:00
parent eef8a023d2
commit 10fa33441f
1 changed files with 4 additions and 3 deletions
@@ -635,9 +635,10 @@ pub fn try_evaluate_const<'tcx>(
                        return Err(EvaluateConstErr::HasGenericsOrInfers);
                    }

-                    let typing_env = infcx
-                        .typing_env(tcx.erase_and_anonymize_regions(param_env))
-                        .with_post_analysis_normalized(tcx);
+                    // Since there is no generic parameter, we can just drop the environment
+                    // to prevent query cycle.
+                    let typing_env = infcx.typing_env(ty::ParamEnv::empty());
+
                    (uv.args, typing_env)
                }
            };