Ralf Jung
|
80a0a12b07
|
Stacked Borrows: test raw-ref-to-field with raw ptr tracking
|
2020-10-31 16:24:34 +01:00 |
|
Ralf Jung
|
3466462306
|
rustup, fix test
|
2020-09-01 10:55:09 +02:00 |
|
Ralf Jung
|
a843fd4e17
|
add test for layout optimizations
|
2020-02-12 22:04:58 +01:00 |
|
Ralf Jung
|
b2c9871f7d
|
update another comment
|
2020-01-30 13:29:55 +01:00 |
|
Ralf Jung
|
3cf413e4c2
|
remove inadequate comment
|
2020-01-30 12:22:54 +01:00 |
|
Ralf Jung
|
e0adfe4d45
|
new compile-fail test involving non-reborrowing-cast-to-raw
|
2020-01-30 12:22:15 +01:00 |
|
Ralf Jung
|
acd156d722
|
add test that relies on non-reborrowing-cast-to-raw
|
2020-01-30 12:17:02 +01:00 |
|
Ralf Jung
|
99282efc86
|
add an interesting run-pass stacked borrows example
|
2019-11-05 11:05:02 +01:00 |
|
Ralf Jung
|
60a0688185
|
adjust tests for eager pointer checks on deref
|
2019-08-15 11:01:03 +02:00 |
|
Ralf Jung
|
3318657eaf
|
test Ref/RefMut protector interactions
|
2019-08-02 08:15:52 +02:00 |
|
Ralf Jung
|
0c85dbf3df
|
prepare for MaybeUninit stabilization
|
2019-05-20 10:53:34 +02:00 |
|
Ralf Jung
|
b9517ca9f3
|
this also fixed our 2-phase woes
|
2019-05-15 18:12:58 +02:00 |
|
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 |
|