N1ark

it's not that we don't need them it's really just that they appear at very specific places (function calls and reborrows) so one can just apply retags in these specific...

One possible flaw of this approach is that `cargo miri setup --print-sysroot` builds with `--cfg miri`, meaning the sysroot gets compiled with a bunch of checks we might not necessarily...

yep, though im not very fond of the way they just hard-code `cfg(miri)` into the stdlib, rather than using the pre-existing UB checks nullop/intrinsic which is meant exactly for that...

There's also this stuff, but yeah tbh i guess it's alright https://github.com/rust-lang/rust/blob/35ebdf9ba1414456dfe1cb6a6b13ebae80e99734/library/core/src/mem/mod.rs#L715-L719

Smaller reproduction: ```rust fn main() { let a = "Hello, world!".to_string(); } ```