keep track of what had to be changed in libstd to make it comply with Stacked Borrows

RalfJung · RalfJung · commit 0084ca269981 · 2019-02-21T11:33:44.000+01:00
diff --git a/wip/stacked-borrows.md b/wip/stacked-borrows.md
@@ -365,3 +365,12 @@ if kind == AccessKind::Dealloc {
     }
 }
 ```
+
+## Adjustments to libstd
+
+libstd needed some patches to comply with this model. These provide a good opportunity to review if we are okay with the requirements that Stacked Borrows places onto unsafe code.
+
+* [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161)
+* [Futures turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/56319)
+* [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200)
+* [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431)

Original file line number	Diff line number	Diff line change
`@@ -365,3 +365,12 @@ if kind == AccessKind::Dealloc {`
`365`	`365`	`}`
`366`	`366`	`}`
`367`	`367`	```
	`368`	`+`
	`369`	`+## Adjustments to libstd`
	`370`	`+`
	`371`	`+libstd needed some patches to comply with this model. These provide a good opportunity to review if we are okay with the requirements that Stacked Borrows places onto unsafe code.`
	`372`	`+`
	`373`	+* [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161)
	`374`	`+* [Futures turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/56319)`
	`375`	+* [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200)
	`376`	+* [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431)