bors 4ec0ba9545 Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obk ...

Add escape-to-raw MIR statement

Add a new MIR "ghost state statement": Escaping a ptr to permit raw accesses.

~~This includes #55549, [click here](https://github.com/RalfJung/rust/compare/miri-visitor...RalfJung:escape-to-raw) for just the new commits.~~

2018-11-15 01:12:01 +00:00

..

borrowed_locals.rs

refactor: use shorthand fields

2018-11-06 15:05:44 -05:00

borrows.rs

no more action on ref or cast, but add new MIR statement for escaping a ptr to raw

2018-11-07 16:54:31 +01:00

mod.rs

Improve handling of type bounds in bit_set.rs.

2018-09-20 08:52:41 +10:00

storage_liveness.rs

refactor: use shorthand fields

2018-11-06 15:05:44 -05:00