Rollup merge of #85725 - Smittyvb:rm-24159-workaround, r=RalfJung
Rollup merge of #85725 - Smittyvb:rm-24159-workaround, r=RalfJung

Remove unneeded workaround

This removes a workaround for #24159, which has been fixed.

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