Auto merge of #26029 - GuillaumeGomez:const_check, r=Manishearth
Auto merge of #26029 - GuillaumeGomez:const_check, r=Manishearth

Part of #24407.

jashank/rust,GBGamer/rust,reem/rust,zachwick/rust,jashank/rust,dwillmer/rust,reem/rust,pshc/rust,aidancully/rust,KokaKiwi/rust,mihneadb/rust,robertg/rust,jashank/rust,pelmers/rust,dwillmer/rust,zachwick/rust,KokaKiwi/rust,vhbit/rust,omasanori/rust,pshc/rust,jashank/rust,pelmers/rust,nwin/rust,vhbit/rust,pelmers/rust,jroesch/rust,zubron/rust,dwillmer/rust,zubron/rust,pshc/rust,TheNeikos/rust,mihneadb/rust,nwin/rust,mvdnes/rust,reem/rust,aneeshusa/rust,dwillmer/rust,l0kod/rust,TheNeikos/rust,jashank/rust,zubron/rust,l0kod/rust,l0kod/rust,graydon/rust,aepsil0n/rust,KokaKiwi/rust,pelmers/rust,reem/rust,vhbit/rust,zachwick/rust,zubron/rust,GBGamer/rust,GBGamer/rust,dwillmer/rust,aepsil0n/rust,aidancully/rust,omasanori/rust,aneeshusa/rust,zubron/rust,graydon/rust,mihneadb/rust,robertg/rust,aneeshusa/rust,graydon/rust,l0kod/rust,aneeshusa/rust,jroesch/rust,aneeshusa/rust,aidancully/rust,omasanori/rust,jashank/rust,pshc/rust,graydon/rust,dwillmer/rust,aidancully/rust,jashank/rust,vhbit/rust,KokaKiwi/rust,pelmers/rust,robertg/rust,jashank/rust,pshc/rust,pshc/rust,jroesch/rust,GBGamer/rust,KokaKiwi/rust,pelmers/rust,omasanori/rust,robertg/rust,vhbit/rust,vhbit/rust,l0kod/rust,zachwick/rust,dwillmer/rust,mihneadb/rust,aepsil0n/rust,mvdnes/rust,graydon/rust,aepsil0n/rust,mihneadb/rust,TheNeikos/rust,aneeshusa/rust,zachwick/rust,l0kod/rust,omasanori/rust,mvdnes/rust,zachwick/rust,jroesch/rust,pshc/rust,nwin/rust,vhbit/rust,TheNeikos/rust,dwillmer/rust,KokaKiwi/rust,zubron/rust,nwin/rust,nwin/rust,zubron/rust,nwin/rust,jroesch/rust,GBGamer/rust,jroesch/rust,mvdnes/rust,mvdnes/rust,l0kod/rust,aidancully/rust,graydon/rust,GBGamer/rust,omasanori/rust,mvdnes/rust,nwin/rust,jroesch/rust,vhbit/rust,pshc/rust,aepsil0n/rust,nwin/rust,mihneadb/rust,reem/rust,robertg/rust,aepsil0n/rust,jroesch/rust,GBGamer/rust,TheNeikos/rust,TheNeikos/rust,aidancully/rust,robertg/rust,l0kod/rust,GBGamer/rust,zubron/rust,reem/rust