---

yaml
---
r: 12757
b: refs/heads/master
c: 0e43e8c
h: refs/heads/master
i:
  12755: ea0e6f6
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 1e6da7b38dfac0ce0c59d966f242ca57a7dc9bf9
+refs/heads/master: 0e43e8ccc8e67dbccbfdbc0c8300a41e43d8b0cf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/middle/kind.rs

@@ -4,6 +4,7 @@ import syntax::codemap::span;
 import ty::{kind, kind_copyable, kind_sendable, kind_noncopyable};
 import driver::session::session;
 import std::map::hashmap;
+import util::ppaux::{ty_to_str, tys_to_str};
 import syntax::print::pprust::expr_to_str;
 import freevars::freevar_entry;
 
@@ -267,8 +268,8 @@ fn check_expr(e: @expr, cx: ctx, v: visit::vt<ctx>) {
               // Fail earlier to make debugging easier
               fail #fmt("Internal error: in kind::check_expr, length \
                   mismatch between actual and declared bounds: actual = \
-                  %s (%u tys), declared = %s (%u tys)", ts, ts.len(),
-                        *bounds, bounds.len());
+                  %s (%u tys), declared = %? (%u tys)",
+                  tys_to_str(cx.tcx, ts), ts.len(), *bounds, (*bounds).len());
             }
             vec::iter2(ts, *bounds) {|ty, bound|
                 check_bounds(cx, e.span, ty, bound)