Add note to find_const_ty_from_env

2025-06-23 18:45:42 +00:00
parent 9c4ff566ba
commit 00f369abc2
6 changed files with 35 additions and 9 deletions
--- a/compiler/rustc_hir_analysis/src/check/wfcheck.rs
+++ b/compiler/rustc_hir_analysis/src/check/wfcheck.rs
@@ -1557,7 +1557,9 @@ fn check_where_clauses<'tcx>(wfcx: &WfCheckingCtxt<'_, 'tcx>, span: Span, def_id
                    ty::ConstKind::Unevaluated(uv) => {
                        infcx.tcx.type_of(uv.def).instantiate(infcx.tcx, uv.args)
                    }
-                    ty::ConstKind::Param(param_ct) => param_ct.find_ty_from_env(wfcx.param_env),
+                    ty::ConstKind::Param(param_ct) => {
+                        param_ct.find_const_ty_from_env(wfcx.param_env)
+                    }
                };

                let param_ty = tcx.type_of(param.def_id).instantiate_identity();