Indicate where an allocation was created when reporting a use-after-free

[saethlin]

Use-after-free is detected in the core interpreter. How would Miri add its span information to the use-after-free diagnostics?

[RalfJung]

We do something like that for InvalidUninitBytes, the same could work here?

miri/src/diagnostics.rs

Line 379 in 9fa049f

eprintln!(

[RalfJung]

I think this got fixed by rust-lang/rust#115184.