Auto merge of #32880 - Manishearth:fix, r=GuillaumeGomez
Auto merge of #32880 - Manishearth:fix, r=GuillaumeGomez

Review fixes for #32878

This contains review fixes for the PR.

graydon/rust,graydon/rust,aidancully/rust,aidancully/rust,GBGamer/rust,GBGamer/rust,graydon/rust,graydon/rust,GBGamer/rust,graydon/rust,aidancully/rust,graydon/rust,GBGamer/rust,GBGamer/rust,aidancully/rust,aidancully/rust,aidancully/rust,GBGamer/rust,GBGamer/rust,GBGamer/rust