add forum link
[web.git] / ralf / _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.