---

yaml
---
r: 15763
b: refs/heads/try
c: 0e43e8c
h: refs/heads/master
i:
  15761: 44a5f9d
  15759: 49da4b8
v: v3

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 1e6da7b38dfac0ce0c59d966f242ca57a7dc9bf9
+refs/heads/try: 0e43e8ccc8e67dbccbfdbc0c8300a41e43d8b0cf
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/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)