:<

Author: lcnr

compiler/rustc_borrowck/src/nll.rs

@@ -379,7 +379,12 @@ fn for_each_region_constraint<'tcx>(
                 ))
             }
         };
-        with_msg(format!("where {}: {:?}", subject, req.outlived_free_region,))?;
+        with_msg(format!("where {}: {:?}", subject, req.outlived_free_region))?;
+    }
+
+    for data in &closure_requirements.opaque_types {
+        let (key, hidden_ty) = data.instantiate(tcx, |vid| ty::Region::new_var(tcx, vid));
+        with_msg(format!("where {key:?} = {hidden_ty:?}"))?;
     }
     Ok(())
 }