---

yaml
---
r: 5329
b: refs/heads/master
c: 059b31f
h: refs/heads/master
i:
  5327: 24d73ea
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 57ede5f281a406986d4167bbca137d09e6a7f565
+refs/heads/master: 059b31f7a3a58193db1dc80a3bd32cbb36f00e1d

trunk/src/comp/middle/trans.rs

@@ -210,9 +210,11 @@ fn type_of_inner(cx: @crate_ctxt, sp: span, t: ty::t)
         ret T_struct([T_i32(), type_of_inner(cx, sp, sub1)]);
       }
       ty::ty_var(_) {
-        // FIXME should be a constraint that makes this impossible
-        // (use unreachable())
-        cx.tcx.sess.span_fatal(sp, "trans::type_of called on ty_var");
+        // Should be unreachable b/c of precondition.
+        // FIXME: would be nice to have a way of expressing this
+        // through postconditions, and then making it sound to omit
+        // cases in the alt
+        std::util::unreachable()
       }
       ty::ty_param(_, _) { T_typaram(cx.tn) }
       ty::ty_type. { T_ptr(cx.tydesc_type) }