show warning when Stacked Borrows skips a reborrow due to 'extern type'

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.13k stars 318 forks source link

Open RalfJung opened 6 days ago

RalfJung commented 6 days ago

When this happens, we can't actually be sure to catch all bugs -- LLVM will still get a noalias but Miri can't do reborrowing. That's not good.

Unfortunately it seems like the formatting machinery in std relies on extern type. :( So this can't land in its current shape.

bors commented 4 days ago

:umbrella: The latest upstream changes (presumably #3706) made this pull request unmergeable. Please resolve the merge conflicts.