Tim Chevalier 7c6e6fc5d4 Make expr_while work in typestate_check ...

Also did some refactoring in typestate_check. All test cases in
compile-fail that involve uninitialized vars now fail correctly!
(All eight of them, that is.)

2011-04-13 15:50:34 -07:00

..

common.rs

Make expr_while work in typestate_check

2011-04-13 15:50:34 -07:00

typestate_ann.rs

typestate_check can now handle expr_block, expr_if, and expr_binary

2011-04-12 19:03:52 -07:00