---

yaml
---
r: 1561
b: refs/heads/master
c: e9fe47b
h: refs/heads/master
i:
  1559: 0210d63
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: e62424944b197e24025b149e2d4ba2347b76c8d8
+refs/heads/master: e9fe47b359c4f8fe0791b83ebf3a60301f539b5c

trunk/src/comp/middle/ty.rs

@@ -596,8 +596,8 @@ fn eq_ty(&@t a, &@t b) -> bool {
 fn ann_to_type(&ast.ann ann) -> @t {
     alt (ann) {
         case (ast.ann_none) {
-            // shouldn't happen, but can until the typechecker is complete
-            ret plain_ty(ty_var(-1));    // FIXME: broken, broken, broken
+            log "ann_to_type() called on node with no type";
+            fail;
         }
         case (ast.ann_type(?ty, _)) {
             ret ty;