From e9fe47b359c4f8fe0791b83ebf3a60301f539b5c Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Tue, 8 Mar 2011 17:03:00 -0800
Subject: rustc: Make ann_to_type() fail if the node has no type. Miraculously,
 no test cases fail.

---
 src/comp/middle/ty.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/comp')

diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index 9ae39c9d..05558da1 100644
--- a/src/comp/middle/ty.rs
+++ b/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;
-- 
cgit v1.2.3