Simplify the exhaustiveness check and add comments
Simplify the exhaustiveness check and add comments

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