Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung
Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung

remove a FIXME that is not actually a bug

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