Code

Stacked borrows 2 (alpha 1)#695

Code

Merged

RalfJung merged 16 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:stacked-borrows-2RalfJung/miri:stacked-borrows-2Copy head branch name to clipboardApr 18, 2019

+763-728

Commits

Commits on Apr 17, 2019

• rewrite Stacked Borrows Core. this passes stacked-borrows.rs!

  RalfJung

  committed
  3f0a2a2

• make run-pass tests pass. tweak how we remove barriers.

  RalfJung

  committed
  966d638

• more comments

  RalfJung

  committed
  a6d377c

• adjust compile-fail error messages

  Show description for ef52be0
  RalfJung

  committed
  ef52be0

• some failures are impossible

  RalfJung

  committed
  924624f

• try to test the problematic cast-to-raw case... unfortunately with the implicit reborrow that's not currently possible

  RalfJung

  committed
  97c34c2

• organize stacked borrows run-pass tests

  RalfJung

  committed
  a503259

• let the permission of a new pointer depend on the type only

  RalfJung

  committed
  7b7fef1

• abstract mapping over all the stacks in some memory range

  RalfJung

  committed
  14e701f

• test creating two raw pointers from the same mutable ref

  RalfJung

  committed
  e7a500b

• barriers are dead, long live protectors -- this enables overlapping two-phase borrows!

  RalfJung

  committed
  46d5fd8

• add tests for fixes: sharing no longer leaks, and we can handle entering interior mutability

  RalfJung

  committed
  72cec05

• bump Rust

  RalfJung

  committed
  0a31318

• more tests -- also one showing why we are not done yet

  RalfJung

  committed
  e1ed855

• Apply suggestions from code review

  Show description for abe8959
  

  oli-obk

  and

  RalfJung

  authored
  abe8959

• embrace find_map and some whitespace changes

  RalfJung

  committed
  39ecd05