diff options
| author | Michael Goulet <michael@errs.io> | 2025-05-22 18:55:49 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-05-26 08:28:45 +0000 |
| commit | 3efd885927958ec8af33fbd1fa2da3d62bbae108 (patch) | |
| tree | 37f75c5f6f7fc4c919c6a4faf5db1926c8e4d9f9 /compiler/rustc_hir_analysis | |
| parent | 95a2212587f1b8500af1ac630322b0cb2e030c61 (diff) | |
Avoid obligation construction dance with query region constraints
Diffstat (limited to 'compiler/rustc_hir_analysis')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/check/wfcheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs index 2ec14b2f018..248af02f86d 100644 --- a/compiler/rustc_hir_analysis/src/check/wfcheck.rs +++ b/compiler/rustc_hir_analysis/src/check/wfcheck.rs @@ -742,7 +742,7 @@ fn ty_known_to_outlive<'tcx>( region: ty::Region<'tcx>, ) -> bool { test_region_obligations(tcx, id, param_env, wf_tys, |infcx| { - infcx.register_region_obligation(infer::RegionObligation { + infcx.type_outlives_predicate(infer::RegionObligation { sub_region: region, sup_type: ty, origin: infer::RelateParamBound(DUMMY_SP, ty, None), |