Is this the same as mozilla/rust#11230?