region_infer.rs: add some debug!

diff --git a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs
index bbdf2a929221093d88f37b7f083a4f5f5807901a..268a42471ab93b899aafcc7f7f38d4b176c58af8 100644 (file)
--- a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs
+++ b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs
@@ -698,7 +698,10 @@ fn try_promote_type_test<'gcx>(
         // `ClosureOutlivesRequirement`.
         let r_scc = self.constraint_sccs.scc(*lower_bound);
         for ur in self.scc_values.universal_regions_outlived_by(r_scc) {
+            debug!("try_promote_type_test: ur={:?}", ur);
+
             let non_local_ub = self.universal_region_relations.non_local_upper_bound(ur);
+            debug!("try_promote_type_test: non_local_ub={:?}", non_local_ub);
 
             assert!(self.universal_regions.is_universal_region(non_local_ub));
             assert!(
@@ -707,11 +710,13 @@ fn try_promote_type_test<'gcx>(
                 .is_local_free_region(non_local_ub)
             );
 
-            propagated_outlives_requirements.push(ClosureOutlivesRequirement {
+            let requirement = ClosureOutlivesRequirement {
                 subject,
                 outlived_free_region: non_local_ub,
                 blame_span: locations.span(mir),
-            });
+            };
+            debug!("try_promote_type_test: pushing {:#?}", requirement);
+            propagated_outlives_requirements.push(requirement);
         }
         true
     }