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

add a lot more debug! to try_report_placeholders_trait

Browse Source
This commit is contained in:
Niko Matsakis 2019-01-25 14:54:42 -05:00 committed by Rémy Rakic
parent c5dea5753f
commit ab80162e3f
1 changed files with 15 additions and 0 deletions

15
src/librustc/infer/error_reporting/nice_region_error/placeholder_error.rs

@ -206,6 +206,15 @@ impl NiceRegionError<'me, 'gcx, 'tcx> {
expected_substs: &'tcx Substs<'tcx>,
actual_substs: &'tcx Substs<'tcx>,
) -> ErrorReported {
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 mut err = self.tcx().sess.struct_span_err(
cause.span(&self.tcx()),
&format!(
@ -276,6 +285,12 @@ impl NiceRegionError<'me, 'gcx, 'tcx> {
.tcx()
.any_free_region_meets(&actual_trait_ref.self_ty(), |r| Some(r) == 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!("try_report_placeholders_trait: self_ty_has_vid={:?}", self_ty_has_vid);
RegionHighlightMode::maybe_highlighting_region(sub_placeholder, has_sub, || {
RegionHighlightMode::maybe_highlighting_region(sup_placeholder, has_sup, || {
match (has_sub, has_sup) {