---

yaml
---
r: 30556
b: refs/heads/incoming
c: e874d37
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -6,7 +6,7 @@ refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df
-refs/heads/incoming: 4cad58c4645c7e2247e0655d4c1d7d70ae75339b
+refs/heads/incoming: e874d375694fe70de084c8ef32b32b8bc906e0f6
 refs/heads/dist-snap: 2f32a1581f522e524009138b33b1c7049ced668d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/incoming/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