Dylan DPC 54ea0f9ccd

Rollup merge of #78351 - RalfJung:validity-unsafe-cell, r=oli-obk ...

Move "mutable thing in const" check from interning to validity

This moves the check for mutable things (such as `UnsafeCell` or `&mut`) in a`const` from interning to validity. That means we can give more targeted error messages (pointing out *where* the problem lies), and we can simplify interning a bit.

Also fix the interning mode used for promoteds in statics.

r? @oli-obk

2020-10-28 01:21:18 +01:00

..

src

Rollup merge of #78351 - RalfJung:validity-unsafe-cell, r=oli-obk

2020-10-28 01:21:18 +01:00

Cargo.toml

Use tracing spans to trace the entire MIR interp stack

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