Auto merge of #1479 - RalfJung:fs-nocast, r=RalfJung
Auto merge of #1479 - RalfJung:fs-nocast, r=RalfJung

fs: remove an unnecessary intermediate cast

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri