Thread a 'simplification' flag through unifier, attempt to strip off layers of ignorable types when simplification is permitted.
Thread a 'simplification' flag through unifier, attempt to strip off layers of ignorable types when simplification is permitted.

Gets std.rc through typechecking, but assigns some wrong types to lvals (the simplified types, not the correct ones).

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