]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b329324) | patch
Handle if-check with no else correctly in typestate
authorTim Chevalier <chevalier@alum.wellesley.edu>
Sat, 3 Sep 2011 01:43:50 +0000 (18:43 -0700)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Sat, 3 Sep 2011 02:05:27 +0000 (19:05 -0700)
commitbdd0417cec937553dec77702bb6b78ed7a07b773
tree5798c74e461bc5dd88b46b98edd9d6e21bb8e023tree | snapshot
parentb329324f711d364a70a4d0c281e627bf470ef3d6commit | diff
Handle if-check with no else correctly in typestate

Propagate the if-check constraint into the consequent even when
there's no else branch. (Oops!)
src/comp/middle/tstate/states.rs diff | blob | history
Empowering everyone to build reliable and efficient software.