diff options
Diffstat (limited to 'src/comp/middle/typestate_check.rs')
| -rw-r--r-- | src/comp/middle/typestate_check.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/comp/middle/typestate_check.rs b/src/comp/middle/typestate_check.rs index 2d46309a..c12d0273 100644 --- a/src/comp/middle/typestate_check.rs +++ b/src/comp/middle/typestate_check.rs @@ -2078,7 +2078,7 @@ fn init_block(&fn_info fi, &span sp, &block_ b) -> block { log("init_block: shouldn't see ann_none"); fail; } - case (ann_type(_, ?t,?ps,_)) { + case (ann_type(_, _, ?ps, _)) { auto fld0 = fold::new_identity_fold[fn_info](); fld0 = @rec(fold_ann = bind init_ann(_,_) with *fld0); |