I'm good with merging this, even with miri failing.
Hopefully it's just a spurious failure, and will resolve itself in a future nightly. Even if there really is unsoundness here, this PR definitely doesn't make anything worse, so I won't block on miri.
I'm good with merging this, even with miri failing.
Hopefully it's just a spurious failure, and will resolve itself in a future nightly. Even if there really is unsoundness here, this PR definitely doesn't make anything worse, so I won't block on miri.