bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Using tracing macros in placeholder_error.rs

Browse source
This commit is contained in:
Matthew Jasper 2021-02-09 21:03:00 +00:00
parent 1eb79f3c37
commit 638980a07f
1 changed files with 7 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

28
compiler/rustc_infer/src/infer/error_reporting/nice_region_error/placeholder_error.rs
View file

@ -190,6 +190,7 @@ impl NiceRegionError<'me, 'tcx> {
// = note: Due to a where-clause on the function `all`, // = note: Due to a where-clause on the function `all`,
// = note: `T` must implement `...` for any two lifetimes `'1` and `'2`. // = note: `T` must implement `...` for any two lifetimes `'1` and `'2`.
// = note: However, the type `T` only implements `...` for some specific lifetime `'2`. // = note: However, the type `T` only implements `...` for some specific lifetime `'2`.
#[instrument(level = "debug", skip(self))]
fn try_report_placeholders_trait( fn try_report_placeholders_trait(
&self, &self,
vid: Option<ty::Region<'tcx>>, vid: Option<ty::Region<'tcx>>,
@ -200,17 +201,6 @@ impl NiceRegionError<'me, 'tcx> {
expected_substs: SubstsRef<'tcx>, expected_substs: SubstsRef<'tcx>,
actual_substs: SubstsRef<'tcx>, actual_substs: SubstsRef<'tcx>,
) -> DiagnosticBuilder<'tcx> { ) -> DiagnosticBuilder<'tcx> {
debug!(
"try_report_placeholders_trait(\
vid={:?}, \
sub_placeholder={:?}, \
sup_placeholder={:?}, \
trait_def_id={:?}, \
expected_substs={:?}, \
actual_substs={:?})",
vid, sub_placeholder, sup_placeholder, trait_def_id, expected_substs, actual_substs
);
let span = cause.span(self.tcx()); let span = cause.span(self.tcx());
let msg = format!( let msg = format!(
"implementation of `{}` is not general enough", "implementation of `{}` is not general enough",
@ -285,17 +275,13 @@ impl NiceRegionError<'me, 'tcx> {
let any_self_ty_has_vid = actual_self_ty_has_vid || expected_self_ty_has_vid; let any_self_ty_has_vid = actual_self_ty_has_vid || expected_self_ty_has_vid;
debug!("try_report_placeholders_trait: actual_has_vid={:?}", actual_has_vid);
debug!("try_report_placeholders_trait: expected_has_vid={:?}", expected_has_vid);
debug!("try_report_placeholders_trait: has_sub={:?}", has_sub);
debug!("try_report_placeholders_trait: has_sup={:?}", has_sup);
debug!( debug!(
"try_report_placeholders_trait: actual_self_ty_has_vid={:?}", ?actual_has_vid,
actual_self_ty_has_vid ?expected_has_vid,
); ?has_sub,
debug!( ?has_sup,
"try_report_placeholders_trait: expected_self_ty_has_vid={:?}", ?actual_self_ty_has_vid,
expected_self_ty_has_vid ?expected_self_ty_has_vid,
); );
self.explain_actual_impl_that_was_found( self.explain_actual_impl_that_was_found(