about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2018-02-26 11:14:16 -0500
committerNiko Matsakis <niko@alum.mit.edu>2018-03-13 11:22:07 -0400
commit36e5092dfa7fcc676c7d6b63f8dd692edd3399a5 (patch)
tree36204183295c2eb88e66fd5aebdf4cd68543cd06
parent0a2ac85e3fa8c1c05a7e2b5b412c073ce7853f23 (diff)
downloadrust-36e5092dfa7fcc676c7d6b63f8dd692edd3399a5.tar.gz
rust-36e5092dfa7fcc676c7d6b63f8dd692edd3399a5.zip
add some debug output
-rw-r--r--src/librustc/traits/query/dropck_outlives.rs3
-rw-r--r--src/librustc/traits/query/normalize.rs6
-rw-r--r--src/librustc/traits/query/normalize_erasing_regions.rs7
3 files changed, 15 insertions, 1 deletions
diff --git a/src/librustc/traits/query/dropck_outlives.rs b/src/librustc/traits/query/dropck_outlives.rs
index 5c964f6559a..cfcd951d490 100644
--- a/src/librustc/traits/query/dropck_outlives.rs
+++ b/src/librustc/traits/query/dropck_outlives.rs
@@ -38,7 +38,8 @@ impl<'cx, 'gcx, 'tcx> At<'cx, 'gcx, 'tcx> {
     pub fn dropck_outlives(&self, ty: Ty<'tcx>) -> InferOk<'tcx, Vec<Kind<'tcx>>> {
         debug!(
             "dropck_outlives(ty={:?}, param_env={:?})",
-            ty, self.param_env,
+            ty,
+            self.param_env,
         );
 
         let tcx = self.infcx.tcx;
diff --git a/src/librustc/traits/query/normalize.rs b/src/librustc/traits/query/normalize.rs
index 030e630f23f..70c5cf5f390 100644
--- a/src/librustc/traits/query/normalize.rs
+++ b/src/librustc/traits/query/normalize.rs
@@ -45,6 +45,12 @@ impl<'cx, 'gcx, 'tcx> At<'cx, 'gcx, 'tcx> {
     where
         T: TypeFoldable<'tcx>,
     {
+        debug!(
+            "normalize::<{}>(value={:?}, param_env={:?})",
+            unsafe { ::std::intrinsics::type_name::<T>() },
+            value,
+            self.param_env,
+        );
         let mut normalizer = QueryNormalizer {
             infcx: self.infcx,
             cause: self.cause,
diff --git a/src/librustc/traits/query/normalize_erasing_regions.rs b/src/librustc/traits/query/normalize_erasing_regions.rs
index d2d8da88e2d..a9734e9c298 100644
--- a/src/librustc/traits/query/normalize_erasing_regions.rs
+++ b/src/librustc/traits/query/normalize_erasing_regions.rs
@@ -30,6 +30,13 @@ impl<'cx, 'tcx> TyCtxt<'cx, 'tcx, 'tcx> {
     where
         T: TypeFoldable<'tcx>,
     {
+        debug!(
+            "normalize_erasing_regions::<{}>(value={:?}, param_env={:?})",
+            unsafe { ::std::intrinsics::type_name::<T>() },
+            value,
+            param_env,
+        );
+
         // Erase first before we do the real query -- this keeps the
         // cache from being too polluted.
         let value = self.erase_regions(&value);