Add it back

compiler-errors · web-flow · commit c2630bcb8928 · 2024-07-16T11:54:52.000-04:00
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs
@@ -1752,6 +1752,14 @@ fn receiver_is_valid<'tcx>(
                 // We cannot proceed.
                 break;
             }
+
+            // Register the bound, in case it has any region side-effects.
+            wfcx.register_bound(
+                cause.clone(),
+                wfcx.param_env,
+                potential_self_ty,
+                receiver_trait_def_id,
+            );
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -1752,6 +1752,14 @@ fn receiver_is_valid<'tcx>(`
`1752`	`1752`	`// We cannot proceed.`
`1753`	`1753`	`break;`
`1754`	`1754`	`}`
	`1755`	`+`
	`1756`	`+ // Register the bound, in case it has any region side-effects.`
	`1757`	`+ wfcx.register_bound(`
	`1758`	`+ cause.clone(),`
	`1759`	`+ wfcx.param_env,`
	`1760`	`+ potential_self_ty,`
	`1761`	`+ receiver_trait_def_id,`
	`1762`	`+ );`
`1755`	`1763`	`}`
`1756`	`1764`	`}`
`1757`	`1765`