diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-11-17 06:10:30 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2019-01-02 17:35:05 -0500 |
| commit | 6a6d2f4b3f79e8f72fdf3600b4ce9a5671c6abdc (patch) | |
| tree | 8b7685a7041625e7fe325de863b8af469fdf0ad0 | |
| parent | 995192a472220786e22ccdf3658671d5589b30dd (diff) | |
| download | rust-6a6d2f4b3f79e8f72fdf3600b4ce9a5671c6abdc.tar.gz rust-6a6d2f4b3f79e8f72fdf3600b4ce9a5671c6abdc.zip | |
dump out the exact state in error reporting debugs
| -rw-r--r-- | src/librustc/infer/error_reporting/mod.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/librustc/infer/error_reporting/mod.rs b/src/librustc/infer/error_reporting/mod.rs index e34bb9f4f7b..be1ec553b9f 100644 --- a/src/librustc/infer/error_reporting/mod.rs +++ b/src/librustc/infer/error_reporting/mod.rs @@ -1306,6 +1306,16 @@ impl<'a, 'gcx, 'tcx> InferCtxt<'a, 'gcx, 'tcx> { match (&sup_origin, &sub_origin) { (&infer::Subtype(ref sup_trace), &infer::Subtype(ref sub_trace)) => { + debug!("report_sub_sup_conflict: var_origin={:?}", var_origin); + debug!("report_sub_sup_conflict: sub_region={:?}", sub_region); + debug!("report_sub_sup_conflict: sub_origin={:?}", sub_origin); + debug!("report_sub_sup_conflict: sup_region={:?}", sup_region); + debug!("report_sub_sup_conflict: sup_origin={:?}", sup_origin); + debug!("report_sub_sup_conflict: sup_trace={:?}", sup_trace); + debug!("report_sub_sup_conflict: sub_trace={:?}", sub_trace); + debug!("report_sub_sup_conflict: sup_trace.values={:?}", sup_trace.values); + debug!("report_sub_sup_conflict: sub_trace.values={:?}", sub_trace.values); + if let (Some((sup_expected, sup_found)), Some((sub_expected, sub_found))) = ( self.values_str(&sup_trace.values), self.values_str(&sub_trace.values), |