From 1726c1b54a12b9f499affdc3ef0b769f3de15a23 Mon Sep 17 00:00:00 2001
From: Aaron Turon <aturon@mozilla.com>
Date: Mon, 22 Feb 2016 22:21:37 -0800
Subject: [PATCH] Add some debugging output for specialization graph assembly

---
 .../middle/traits/specialize/specialization_graph.rs     | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/librustc/middle/traits/specialize/specialization_graph.rs b/src/librustc/middle/traits/specialize/specialization_graph.rs
index 411c98c6066..c73219fbc08 100644
--- a/src/librustc/middle/traits/specialize/specialization_graph.rs
+++ b/src/librustc/middle/traits/specialize/specialization_graph.rs
@@ -65,6 +65,8 @@ impl Graph {
         let trait_ref = tcx.impl_trait_ref(impl_def_id).unwrap();
         let trait_def_id = trait_ref.def_id;
 
+        debug!("inserting TraitRef {:?} into specialization graph", trait_ref);
+
         // if the reference itself contains an earlier error (e.g., due to a
         // resolution failure), then we just insert the impl at the top level of
         // the graph and claim that there's no overlap (in order to supress
@@ -99,10 +101,16 @@ impl Graph {
                     let ge = specializes(tcx, possible_sibling, impl_def_id);
 
                     if le && !ge {
+                        let parent_trait_ref = tcx.impl_trait_ref(possible_sibling).unwrap();
+                        debug!("descending as child of TraitRef {:?}", parent_trait_ref);
+
                         // the impl specializes possible_sibling
                         parent = possible_sibling;
                         continue 'descend;
                     } else if ge && !le {
+                        let child_trait_ref = tcx.impl_trait_ref(possible_sibling).unwrap();
+                        debug!("placing as parent of TraitRef {:?}", child_trait_ref);
+
                         // possible_sibling specializes the impl
                         *slot = impl_def_id;
                         self.parent.insert(impl_def_id, parent);
@@ -123,6 +131,7 @@ impl Graph {
             }
 
             // no overlap with any potential siblings, so add as a new sibling
+            debug!("placing as new sibling");
             self.parent.insert(impl_def_id, parent);
             possible_siblings.push(impl_def_id);
             return Ok(());