bors 0cd1516696 Auto merge of #78597 - RalfJung:raw-retag, r=oli-obk ...

Retagging: do not retag 'raw reborrows'

When doing `&raw const (*raw_ptr).field`, we do not want any retagging; the original provenance should be fully preserved.

Fixes https://github.com/rust-lang/miri/issues/1608
Test added by https://github.com/rust-lang/miri/pull/1614

Not sure whom to ask for review on this... `@oli-obk` can you have a look? Or maybe highfive makes a good choice.^^

2020-11-03 13:48:54 +00:00

..

src

Auto merge of #78597 - RalfJung:raw-retag, r=oli-obk

2020-11-03 13:48:54 +00:00

Cargo.toml

Use tracing spans to trace the entire MIR interp stack

2020-09-28 20:07:57 +02:00