user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #55125 - RalfJung:stacked-borrows, r=oli-obk

Browse source 
miri engine: Hooks for basic stacked borrows

r? @oli-obk
This commit is contained in:
bors 2018-10-21 09:32:25 +00:00
commit 66910ba686
14 changed files with 313 additions and 149 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri

@ -1 +1 @@
Subproject commit 8b14b03368429e6ee2a8ac0e0c876505606ab1f1
Subproject commit bbb1d80703f272a5592ceeb3832a489776512251