Ralf Jung
|
e1ed855a44
|
more tests -- also one showing why we are not done yet
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
72cec0562c
|
add tests for fixes: sharing no longer leaks, and we can handle entering interior mutability
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
46d5fd8487
|
barriers are dead, long live protectors -- this enables overlapping two-phase borrows!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
e7a500b7e1
|
test creating two raw pointers from the same mutable ref
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
a503259d8b
|
organize stacked borrows run-pass tests
|
2019-04-17 16:02:57 +02:00 |
|