From 10f0f66d454c9a04e6f9703e66cbfe6ed109655a Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Wed, 15 Jun 2022 09:45:19 -0400 Subject: [PATCH] improved debug output --- compiler/rustc_infer/src/infer/outlives/obligations.rs | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/compiler/rustc_infer/src/infer/outlives/obligations.rs b/compiler/rustc_infer/src/infer/outlives/obligations.rs index 2aa535da0e5..cd9f020abd0 100644 --- a/compiler/rustc_infer/src/infer/outlives/obligations.rs +++ b/compiler/rustc_infer/src/infer/outlives/obligations.rs @@ -318,17 +318,13 @@ where self.delegate.push_verify(origin, generic, region, verify_bound); } + #[tracing::instrument(level = "Debug", skip(self))] fn projection_must_outlive( &mut self, origin: infer::SubregionOrigin<'tcx>, region: ty::Region<'tcx>, projection_ty: ty::ProjectionTy<'tcx>, ) { - debug!( - "projection_must_outlive(region={:?}, projection_ty={:?}, origin={:?})", - region, projection_ty, origin - ); - // This case is thorny for inference. The fundamental problem is // that there are many cases where we have choice, and inference // doesn't like choice (the current region inference in @@ -437,6 +433,7 @@ where // even though a satisfactory solution exists. let generic = GenericKind::Projection(projection_ty); let verify_bound = self.verify_bound.generic_bound(generic); + debug!("projection_must_outlive: pushing verify_bound={:?}", verify_bound,); self.delegate.push_verify(origin, generic, region, verify_bound); } }