diff options
| author | Patrick Walton <[email protected]> | 2011-03-08 17:03:00 -0800 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2011-03-08 17:03:00 -0800 |
| commit | e9fe47b359c4f8fe0791b83ebf3a60301f539b5c (patch) | |
| tree | 455fb0b866ac928cae97828c728ee254ffbedc05 /src/comp | |
| parent | rustc: Have trans get the type parameters from the annotation instead of tryi... (diff) | |
| download | rust-e9fe47b359c4f8fe0791b83ebf3a60301f539b5c.tar.xz rust-e9fe47b359c4f8fe0791b83ebf3a60301f539b5c.zip | |
rustc: Make ann_to_type() fail if the node has no type. Miraculously, no test cases fail.
Diffstat (limited to 'src/comp')
| -rw-r--r-- | src/comp/middle/ty.rs | 4 |
1 files changed, 2 insertions, 2 deletions
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; |