add forum link
authorRalf Jung <post@ralfj.de>
Tue, 30 Apr 2019 19:12:55 +0000 (21:12 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 30 Apr 2019 19:12:55 +0000 (21:12 +0200)
personal/_posts/2019-04-30-stacked-borrows-2.md

index 87617ead0ca9740a18a3c70ed2ae746340babc1f..d9037c06db94bcd337920a5b0d35b1008a4efbb3 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "Stacked Borrows 2"
 categories: rust research
+forum: https://internals.rust-lang.org/t/stacked-borrows-2/9951
 ---
 
 Recently, I have [significantly updated](https://github.com/rust-lang/miri/pull/695) Stacked Borrows in order to fix some issues with the handling of shared references that were uncovered in the previous version.