mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

improved debug output

Browse Source
This commit is contained in:
Niko Matsakis 2022-06-15 09:45:19 -04:00
parent 87c2907bca
commit 10f0f66d45
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_infer/src/infer/outlives/obligations.rs
View File

@ -318,17 +318,13 @@ where
self.delegate.push_verify(origin, generic, region, verify_bound); self.delegate.push_verify(origin, generic, region, verify_bound);
} }
#[tracing::instrument(level = "Debug", skip(self))]
fn projection_must_outlive( fn projection_must_outlive(
&mut self, &mut self,
origin: infer::SubregionOrigin<'tcx>, origin: infer::SubregionOrigin<'tcx>,
region: ty::Region<'tcx>, region: ty::Region<'tcx>,
projection_ty: ty::ProjectionTy<'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 // This case is thorny for inference. The fundamental problem is
// that there are many cases where we have choice, and inference // that there are many cases where we have choice, and inference
// doesn't like choice (the current region inference in // doesn't like choice (the current region inference in
@ -437,6 +433,7 @@ where
// even though a satisfactory solution exists. // even though a satisfactory solution exists.
let generic = GenericKind::Projection(projection_ty); let generic = GenericKind::Projection(projection_ty);
let verify_bound = self.verify_bound.generic_bound(generic); 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); self.delegate.push_verify(origin, generic, region, verify_bound);
} }
} }