add reddit link
authorRalf Jung <post@ralfj.de>
Tue, 19 Nov 2019 19:18:05 +0000 (20:18 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 19 Nov 2019 19:18:05 +0000 (20:18 +0100)
ralf/_posts/2019-11-18-stacked-borrows-paper.md

index 39ce8ead382966d1eca366e72553d36ce4162a12..49d7dc7a4ba27d652fe98a25510feae7bcc210c3 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "Stacked Borrows: An Aliasing Model for Rust (the paper)"
 categories: research rust
+reddit: /rust/comments/dy8avz/stacked_borrows_an_aliasing_model_for_rust_the/
 ---
 
 I have [blogged]({% post_url 2019-05-21-stacked-borrows-2.1 %}) a [few]({% post_url 2019-04-30-stacked-borrows-2 %}) times before about [Stacked Borrows](https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md), my proposed aliasing model for Rust.