Fix two typestate bugs
Fix two typestate bugs

* Non-returning calls should set all predicates to be true, not
  just the "this function returns" predicate

* Fixed a bug in the expr_alt case in tstate.states that wasn't updating
  the changed flag properly, then fixed *another* bug that was updating
  it too enthusiastically, but was masked by the first bug.

l0kod/rust,michaelballantyne/rust-gpu,stepancheg/rust-ide-rust,ebfull/rust,andars/rust,defuz/rust,aneeshusa/rust,seanrivera/rust,GrahamDennis/rand,kmcallister/rust,servo/rust,mihneadb/rust,fabricedesre/rust,mdinger/rust,philyoon/rust,jbclements/rust,sae-bom/rust,mitsuhiko/rust,aidancully/rust,jashank/rust,hauleth/rust,kimroen/rust,AerialX/rust-rt-minimal,dwillmer/rust,aidancully/rust,AerialX/rust,l0kod/rust,jashank/rust,sarojaba/rust-doc-korean,aepsil0n/rust,mvdnes/rust,mahkoh/rust,erickt/rust,servo/rust,reem/rust,stepancheg/rust-ide-rust,P1start/rust,robertg/rust,barosl/rust,XMPPwocky/rust,TheNeikos/rust,Ryman/rust,seanrivera/rust,barosl/rust,SiegeLord/rust,krzysz00/rust,P1start/rust,zubron/rust,quornian/rust,servo/rust,emk/rust,cllns/rust,richo/rust,AerialX/rust-rt-minimal,vhbit/rust,0x73/rust,pelmers/rust,kwantam/rust,sarojaba/rust-doc-korean,SiegeLord/rust,GBGamer/rust,ruud-v-a/rust,richo/rust,nham/rust,P1start/rust,ktossell/rust,pczarn/rust,krzysz00/rust,defuz/rust,stepancheg/rust-ide-rust,jroesch/rust,dinfuehr/rust,nwin/rust,LeoTestard/rust,avdi/rust,robertg/rust,kmcallister/rust,XMPPwocky/rust,mdinger/rust,kimroen/rust,nwin/rust,pshc/rust,miniupnp/rust,l0kod/rust,mvdnes/rust,GBGamer/rust,gifnksm/rust,KokaKiwi/rust,mihneadb/rust,pshc/rust,zachwick/rust,0x73/rust,mvdnes/rust,bombless/rust,untitaker/rust,kmcallister/rust,servo/rust,aepsil0n/rust,mdinger/rust,reem/rust,aidancully/rust,aturon/rust,ejjeong/rust,gifnksm/rust,graydon/rust,0x73/rust,cllns/rust,emk/rust,GBGamer/rust,SiegeLord/rust,barosl/rust,mitsuhiko/rust,LeoTestard/rust,dwillmer/rust,richo/rust,ruud-v-a/rust,GBGamer/rust,LeoTestard/rust,bombless/rust,gifnksm/rust,rprichard/rust,reem/rust,rprichard/rust,Ryman/rust,P1start/rust,jbclements/rust,zubron/rust,TheNeikos/rust,ejjeong/rust,carols10cents/rust,mitsuhiko/rust,P1start/rust,aturon/rust,andars/rust,mdinger/rust,cllns/rust,nwin/rust,omasanori/rust,cllns/rust,pshc/rust,ebfull/rust,barosl/rust,andars/rust,vhbit/rust,zubron/rust,pythonesque/rust,kwantam/rust,emk/rust,emk/rust,arthurprs/rand,nham/rust,dwillmer/rust,emk/rust,jbclements/rust,zubron/rust,aidancully/rust,zubron/rust,sarojaba/rust-doc-korean,richo/rust,seanrivera/rust,TheNeikos/rust,avdi/rust,rprichard/rust,kmcallister/rust,quornian/rust,victorvde/rust,rprichard/rust,ebfull/rust,vhbit/rust,Ryman/rust,pshc/rust,GBGamer/rust,XMPPwocky/rust,pczarn/rust,ebfull/rust,aidancully/rust,victorvde/rust,pelmers/rust,dinfuehr/rust,kmcallister/rust,defuz/rust,jroesch/rust,nwin/rust,l0kod/rust,fabricedesre/rust,servo/rust,andars/rust,avdi/rust,jashank/rust,P1start/rust,nwin/rust,l0kod/rust,ejjeong/rust,cllns/rust,pczarn/rust,ktossell/rust,huonw/rand,zaeleus/rust,shepmaster/rand,rohitjoshi/rust,aepsil0n/rust,j16r/rust,bombless/rust,defuz/rust,vhbit/rust,ktossell/rust,dinfuehr/rust,bombless/rust,omasanori/rust,AerialX/rust,hauleth/rust,ruud-v-a/rust,j16r/rust,graydon/rust,LeoTestard/rust,AerialX/rust-rt-minimal,barosl/rust,servo/rust,j16r/rust,kwantam/rust,seanrivera/rust,0x73/rust,carols10cents/rust,mitsuhiko/rust,graydon/rust,pythonesque/rust,barosl/rust,zubron/rust,aneeshusa/rust,erickt/rust,XMPPwocky/rust,ebfull/rand,hauleth/rust,victorvde/rust,nham/rust,robertg/rust,jashank/rust,vhbit/rust,nham/rust,avdi/rust,LeoTestard/rust,ejjeong/rust,miniupnp/rust,quornian/rust,kmcallister/rust,dwillmer/rust,waynenilsen/rand,rohitjoshi/rust,KokaKiwi/rust,untitaker/rust,pythonesque/rust,nham/rust,TheNeikos/rust,untitaker/rust,pshc/rust,KokaKiwi/rust,carols10cents/rust,zachwick/rust,zaeleus/rust,servo/rust,ktossell/rust,Ryman/rust,aneeshusa/rust,AerialX/rust-rt-minimal,philyoon/rust,omasanori/rust,reem/rust,quornian/rust,ktossell/rust,untitaker/rust,erickt/rust,seanrivera/rust,stepancheg/rust-ide-rust,zaeleus/rust,philyoon/rust,pythonesque/rust,andars/rust,erickt/rust,miniupnp/rust,l0kod/rust,graydon/rust,michaelballantyne/rust-gpu,jbclements/rust,ruud-v-a/rust,mihneadb/rust,victorvde/rust,KokaKiwi/rust,aneeshusa/rust,LeoTestard/rust,aneeshusa/rust,GBGamer/rust,kwantam/rust,TheNeikos/rust,jroesch/rust,quornian/rust,kimroen/rust,mahkoh/rust,AerialX/rust,retep998/rand,aepsil0n/rust,kimroen/rust,P1start/rust,richo/rust,nham/rust,pshc/rust,krzysz00/rust,fabricedesre/rust,KokaKiwi/rust,ebfull/rust,miniupnp/rust,dwillmer/rust,philyoon/rust,LeoTestard/rust,zachwick/rust,stepancheg/rust-ide-rust,sae-bom/rust,rohitjoshi/rust,gifnksm/rust,mdinger/rust,rohitjoshi/rust,jroesch/rust,j16r/rust,pelmers/rust,bhickey/rand,mvdnes/rust,vhbit/rust,zachwick/rust,gifnksm/rust,ruud-v-a/rust,robertg/rust,michaelballantyne/rust-gpu,SiegeLord/rust,mdinger/rust,jbclements/rust,ktossell/rust,jbclements/rust,pczarn/rust,fabricedesre/rust,achanda/rand,michaelballantyne/rust-gpu,rprichard/rust,aturon/rust,carols10cents/rust,nwin/rust,carols10cents/rust,michaelballantyne/rust-gpu,nwin/rust,jashank/rust,reem/rust,omasanori/rust,KokaKiwi/rust,jbclements/rust,pelmers/rust,stepancheg/rust-ide-rust,mvdnes/rust,reem/rust,erickt/rust,krzysz00/rust,sarojaba/rust-doc-korean,j16r/rust,carols10cents/rust,sae-bom/rust,0x73/rust,kwantam/rust,ejjeong/rust,emk/rust,erickt/rust,mahkoh/rust,mahkoh/rust,zaeleus/rust,pshc/rust,jroesch/rust,michaelballantyne/rust-gpu,gifnksm/rust,mihneadb/rust,zachwick/rust,jashank/rust,fabricedesre/rust,richo/rust,ruud-v-a/rust,fabricedesre/rust,untitaker/rust,rohitjoshi/rust,XMPPwocky/rust,rprichard/rust,victorvde/rust,aturon/rust,miniupnp/rust,pelmers/rust,graydon/rust,fabricedesre/rust,avdi/rust,mvdnes/rust,sarojaba/rust-doc-korean,jashank/rust,0x73/rust,kmcallister/rust,andars/rust,nwin/rust,pczarn/rust,aepsil0n/rust,michaelballantyne/rust-gpu,AerialX/rust,pythonesque/rust,krzysz00/rust,mihneadb/rust,jbclements/rust,ebfull/rust,sae-bom/rust,vhbit/rust,AerialX/rust-rt-minimal,zachwick/rust,kimroen/rust,pczarn/rust,mitsuhiko/rust,pczarn/rust,mahkoh/rust,jbclements/rust,pshc/rust,mitsuhiko/rust,zubron/rust,AerialX/rust,kimroen/rust,bombless/rust,SiegeLord/rust,Ryman/rust,robertg/rust,dinfuehr/rust,ktossell/rust,bombless/rust,omasanori/rust,SiegeLord/rust,sae-bom/rust,TheNeikos/rust,zaeleus/rust,l0kod/rust,cllns/rust,hauleth/rust,jroesch/rust,krzysz00/rust,bombless/rust-docs-chinese,aidancully/rust,quornian/rust,aepsil0n/rust,dwillmer/rust,miniupnp/rust,miniupnp/rust,barosl/rust,hauleth/rust,l0kod/rust,seanrivera/rust,jroesch/rust,jashank/rust,aturon/rust,mitsuhiko/rust,omasanori/rust,SiegeLord/rust,sarojaba/rust-doc-korean,untitaker/rust,0x73/rust,dwillmer/rust,hauleth/rust,j16r/rust,pythonesque/rust,erickt/rust,victorvde/rust,zubron/rust,dinfuehr/rust,AerialX/rust-rt-minimal,kwantam/rust,vhbit/rust,GBGamer/rust,emk/rust,ejjeong/rust,jroesch/rust,aneeshusa/rust,dwillmer/rust,sarojaba/rust-doc-korean,mahkoh/rust,mihneadb/rust,defuz/rust,miniupnp/rust,AerialX/rust,Ryman/rust,Ryman/rust,dinfuehr/rust,j16r/rust,nham/rust,avdi/rust,philyoon/rust,kimroen/rust,aturon/rust,aturon/rust,pelmers/rust,defuz/rust,robertg/rust,XMPPwocky/rust,zaeleus/rust,philyoon/rust,pythonesque/rust,stepancheg/rust-ide-rust,GBGamer/rust,rohitjoshi/rust,graydon/rust,sae-bom/rust,quornian/rust,bluss/rand