---

yaml
---
r: 28534
b: refs/heads/try
c: e874d37
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
-refs/heads/try: 4cad58c4645c7e2247e0655d4c1d7d70ae75339b
+refs/heads/try: e874d375694fe70de084c8ef32b32b8bc906e0f6
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df

branches/try/src/rustc/middle/typeck/check.rs

@@ -488,6 +488,11 @@ fn check_struct(ccx: @crate_ctxt, struct_def: @ast::struct_def,
 }
 
 fn check_item(ccx: @crate_ctxt, it: @ast::item) {
+    debug!("check_item(it.id=%d, it.ident=%s)",
+           it.id,
+           ty::item_path_str(ccx.tcx, local_def(it.id)));
+    let _indenter = indenter();
+
     match it.node {
       ast::item_const(_, e) => check_const(ccx, it.span, e, it.id),
       ast::item_enum(enum_definition, _) => {
@@ -2525,6 +2530,9 @@ fn check_bounds_are_used(ccx: @crate_ctxt,
                          span: span,
                          tps: ~[ast::ty_param],
                          ty: ty::t) {
+    debug!("check_bounds_are_used(n_tps=%u, ty=%s)",
+           tps.len(), ty_to_str(ccx.tcx, ty));
+
     // make a vector of booleans initially false, set to true when used
     if tps.len() == 0u { return; }
     let tps_used = vec::to_mut(vec::from_elem(tps.len(), false));
@@ -2534,7 +2542,10 @@ fn check_bounds_are_used(ccx: @crate_ctxt,
         |_r| {},
         |t| {
             match ty::get(t).sty {
-              ty::ty_param({idx, _}) => { tps_used[idx] = true; }
+              ty::ty_param({idx, _}) => {
+                  debug!("Found use of ty param #%u", idx);
+                  tps_used[idx] = true;
+              }
               _ => ()
             }
             true