Auto merge of #26713 - GuillaumeGomez:patch-3, r=Manishearth
Auto merge of #26713 - GuillaumeGomez:patch-3, r=Manishearth

r? @Manishearth 

pshc/rust,jashank/rust,vhbit/rust,GBGamer/rust,mvdnes/rust,nwin/rust,vhbit/rust,jroesch/rust,jroesch/rust,mvdnes/rust,GBGamer/rust,aidancully/rust,dwillmer/rust,dwillmer/rust,mvdnes/rust,mvdnes/rust,l0kod/rust,jashank/rust,vhbit/rust,dwillmer/rust,vhbit/rust,l0kod/rust,zubron/rust,jashank/rust,graydon/rust,GBGamer/rust,vhbit/rust,l0kod/rust,nwin/rust,jroesch/rust,nwin/rust,zubron/rust,GBGamer/rust,nwin/rust,l0kod/rust,GBGamer/rust,aidancully/rust,dwillmer/rust,GBGamer/rust,aidancully/rust,dwillmer/rust,dwillmer/rust,graydon/rust,graydon/rust,GBGamer/rust,reem/rust,zubron/rust,jashank/rust,pshc/rust,mvdnes/rust,nwin/rust,reem/rust,jroesch/rust,jashank/rust,aidancully/rust,zubron/rust,nwin/rust,aidancully/rust,graydon/rust,vhbit/rust,jashank/rust,zubron/rust,pshc/rust,nwin/rust,pshc/rust,l0kod/rust,pshc/rust,reem/rust,jroesch/rust,pshc/rust,jroesch/rust,reem/rust,l0kod/rust,jroesch/rust,jashank/rust,aidancully/rust,graydon/rust,dwillmer/rust,dwillmer/rust,zubron/rust,pshc/rust,reem/rust,zubron/rust,jashank/rust,zubron/rust,jroesch/rust,vhbit/rust,l0kod/rust,reem/rust,GBGamer/rust,l0kod/rust,graydon/rust,pshc/rust,mvdnes/rust,nwin/rust,vhbit/rust