about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2016-05-21 05:43:17 -0400
committerNiko Matsakis <niko@alum.mit.edu>2016-05-31 19:43:38 -0400
commit7cf63a2a72577a412ed9b345990342880715e9ab (patch)
treed1ff941b7fb952dcf84f914b4dd3a81b288d37ee
parentd3afbd6c4d03cfde1291da53f3830d1dbd44f35e (diff)
downloadrust-7cf63a2a72577a412ed9b345990342880715e9ab.tar.gz
rust-7cf63a2a72577a412ed9b345990342880715e9ab.zip
more debug dumping in trans
-rw-r--r--src/librustc_trans/common.rs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/librustc_trans/common.rs b/src/librustc_trans/common.rs
index c1685e6a749..1b13a662d36 100644
--- a/src/librustc_trans/common.rs
+++ b/src/librustc_trans/common.rs
@@ -1061,7 +1061,7 @@ pub fn fulfill_obligation<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>,
     let trait_ref = tcx.erase_regions(&trait_ref);
 
     scx.trait_cache().memoize(trait_ref, || {
-        debug!("trans fulfill_obligation: trait_ref={:?} def_id={:?}",
+        debug!("trans::fulfill_obligation(trait_ref={:?}, def_id={:?})",
                trait_ref, trait_ref.def_id());
 
         // Do the initial selection for the obligation. This yields the
@@ -1096,11 +1096,14 @@ pub fn fulfill_obligation<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>,
                 }
             };
 
+            debug!("fulfill_obligation: selection={:?}", selection);
+
             // Currently, we use a fulfillment context to completely resolve
             // all nested obligations. This is because they can inform the
             // inference of the impl's type parameters.
             let mut fulfill_cx = traits::FulfillmentContext::new();
             let vtable = selection.map(|predicate| {
+                debug!("fulfill_obligation: register_predicate_obligation {:?}", predicate);
                 fulfill_cx.register_predicate_obligation(&infcx, predicate);
             });
             let vtable = infcx.drain_fulfillment_cx_or_panic(span, &mut fulfill_cx, &vtable);