Check the simplified type used in check-expr in trans.
Check the simplified type used in check-expr in trans.

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