Ralf Jung
|
694d2490f1
|
slightly more verbose error msg
|
2018-11-21 16:02:38 +01:00 |
|
Ralf Jung
|
41f89beb3f
|
if let
|
2018-11-21 16:01:39 +01:00 |
|
Ralf Jung
|
ec8cc029c1
|
on a deref, check that we are not using a mutable ref with a frozen tag
|
2018-11-21 15:44:47 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
a6401e7d1d
|
Merge pull request #537 from solson/rustup
bump Rust
|
2018-11-21 11:15:00 +01:00 |
|
Ralf Jung
|
0b7625a079
|
make sure compile-fail tests would compile if we screw up
|
2018-11-21 10:19:00 +01:00 |
|
Ralf Jung
|
6181b29f5d
|
bump Rust
|
2018-11-21 09:52:31 +01:00 |
|
Ralf Jung
|
669b9ea5bc
|
Merge pull request #535 from RalfJung/tests-edition-2018
Use edition 2018 for tests
|
2018-11-20 15:00:22 +01:00 |
|
Ralf Jung
|
22f11b8eec
|
make tests compatible with 2018 edition
|
2018-11-20 14:15:14 +01:00 |
|
Ralf Jung
|
1ae536b03e
|
use 2018 edition for tests
|
2018-11-20 12:41:34 +01:00 |
|
Ralf Jung
|
3cfaed2dbd
|
Merge pull request #533 from RalfJung/cargo-miri-2018
port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri
|
2018-11-20 10:40:55 +01:00 |
|
Ralf Jung
|
f41decc6e1
|
Merge branch 'master' into cargo-miri-2018
|
2018-11-20 10:18:34 +01:00 |
|
Ralf Jung
|
adfede5cec
|
Merge pull request #526 from RalfJung/mut-visitor
Retagging: Recurse into compound values
|
2018-11-20 10:16:58 +01:00 |
|
Ralf Jung
|
5b095e1652
|
stdout not implemented on windows
|
2018-11-20 09:12:29 +01:00 |
|
Ralf Jung
|
cfa6397ad0
|
UnsafeCell no longer needs to be on the whitelist
|
2018-11-20 08:50:08 +01:00 |
|
Ralf Jung
|
6085865975
|
adjust for InboundsCheck parameter of memory bounds check
|
2018-11-20 08:45:25 +01:00 |
|
Ralf Jung
|
b8486ce9d6
|
bump Rust version
|
2018-11-20 08:30:18 +01:00 |
|
Ralf Jung
|
d619049b2d
|
Merge branch 'miri-backtrace' into mut-visitor
|
2018-11-20 08:29:51 +01:00 |
|
Ralf Jung
|
ef2ffed93f
|
port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri
|
2018-11-19 22:59:41 +01:00 |
|
Ralf Jung
|
a806805f23
|
add an interesting testcase
|
2018-11-19 10:26:40 +01:00 |
|
Ralf Jung
|
06d77730de
|
reorder cargo flags for consistency
|
2018-11-19 09:42:03 +01:00 |
|
Ralf Jung
|
aad47db21b
|
Merge remote-tracking branch 'origin/master' into mut-visitor
|
2018-11-19 09:41:40 +01:00 |
|
Ralf Jung
|
dc2d15d883
|
Merge pull request #530 from RalfJung/appveyor
AppVeyor: consistently use --all-features
|
2018-11-18 09:10:28 +01:00 |
|
Ralf Jung
|
18b2426b1b
|
AppVeyor: consistently use --all-features
|
2018-11-17 15:01:38 +01:00 |
|
Ralf Jung
|
64ac8fd1cc
|
Merge pull request #529 from matthiaskrgr/bench
benchmarks: make them build again
|
2018-11-17 14:48:42 +01:00 |
|
Matthias Krüger
|
3102b13468
|
travis: build benchmarks as well
|
2018-11-17 14:25:48 +01:00 |
|
Ralf Jung
|
19f8a9db7d
|
Boxes can also use the fast path
|
2018-11-17 12:35:58 +01:00 |
|
Ralf Jung
|
c847071355
|
add comment about not using builtin_deref
|
2018-11-17 12:33:44 +01:00 |
|
Matthias Krüger
|
731f351543
|
benchmarks: make them build again
|
2018-11-17 12:24:27 +01:00 |
|
Ralf Jung
|
56f1ef325a
|
remove spurious assignments
|
2018-11-17 10:29:16 +01:00 |
|
Ralf Jung
|
662821f7f7
|
raw ptr deref no longer erases the tag
|
2018-11-17 10:11:21 +01:00 |
|
Ralf Jung
|
880229d4c3
|
escape-on-cast, now ptr-deref does not change the tag at all, ever
|
2018-11-17 10:05:40 +01:00 |
|
Ralf Jung
|
b7dbb5e2a7
|
also consider boxes like unique references
|
2018-11-17 10:05:40 +01:00 |
|
Ralf Jung
|
42c49116b1
|
Merge pull request #527 from steveklabnik/patch-2
fix cargo invocation in the readme
|
2018-11-16 21:41:47 +01:00 |
|
Steve Klabnik
|
733f675bcc
|
fix cargo invocation in the readme
|
2018-11-16 15:14:44 -05:00 |
|
Ralf Jung
|
36b97cd76c
|
Factor out common top-level code from escape-to-raw and retag
|
2018-11-16 11:24:01 +01:00 |
|
Ralf Jung
|
c54dcf59ae
|
add some tests for retagging inside tuples and options
|
2018-11-16 11:13:55 +01:00 |
|
Ralf Jung
|
a1f895d6f2
|
retagging: descent into values, type-driven
|
2018-11-16 11:09:33 +01:00 |
|
Ralf Jung
|
d78b62e3e4
|
Merge pull request #524 from RalfJung/escape-to-raw
Stacked Borrows beautififcation, update for EscapeToRaw
|
2018-11-16 10:48:12 +01:00 |
|
Ralf Jung
|
827e5180f2
|
stacked borrows is broken without full MIR
|
2018-11-16 10:01:54 +01:00 |
|
Ralf Jung
|
c93f6d6bb0
|
Merge remote-tracking branch 'origin/master' into escape-to-raw
|
2018-11-16 09:41:47 +01:00 |
|
Ralf Jung
|
021bf1f3b3
|
Merge pull request #525 from RalfJung/trust-the-type-system
remove type system tests
|
2018-11-16 09:41:35 +01:00 |
|
Ralf Jung
|
70738bf8cc
|
where there is 2, there should be 1
|
2018-11-16 08:53:43 +01:00 |
|
Ralf Jung
|
ca7b088aba
|
remove type system tests
|
2018-11-16 08:50:44 +01:00 |
|
Ralf Jung
|
4e34457715
|
bump Rust
|
2018-11-16 08:40:08 +01:00 |
|
Ralf Jung
|
60e26af323
|
add a sanity assertion
|
2018-11-16 08:40:00 +01:00 |
|
Ralf Jung
|
cf1746222e
|
we no longer even try pushing to a frozen location
|
2018-11-15 21:22:05 +01:00 |
|
Ralf Jung
|
f521fd5e0f
|
let's call this a redundant reborrow
|
2018-11-15 21:22:05 +01:00 |
|
Ralf Jung
|
c234009fdd
|
generalize reborrow-to-raw exception to a general redundancy check
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
ba8eb7608e
|
add an interesting demo for &mut being unique
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
5a801c0dc1
|
adjust comment
|
2018-11-15 09:35:40 +01:00 |
|