From: Ralf Jung <post@ralfj.de>
Date: Fri, 11 Aug 2017 23:04:30 +0000 (-0700)
Subject: forum link
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/fde9f5bd57b6785426ade89d2bd4a9a342b4301d?ds=inline;hp=81d020bc303e970d1eaebf302bb829dafeb6e2ce

forum link
---

diff --git a/ralf/_posts/2017-08-11-types-as-contracts-evaluation.md b/ralf/_posts/2017-08-11-types-as-contracts-evaluation.md
index e06ccc0..b6fe54a 100644
--- a/ralf/_posts/2017-08-11-types-as-contracts-evaluation.md
+++ b/ralf/_posts/2017-08-11-types-as-contracts-evaluation.md
@@ -1,6 +1,7 @@
 ---
 title: "Types as Contracts: Implementation and Evaluation"
 categories: internship rust
+forum: https://internals.rust-lang.org/t/https-www-ralfj-de-blog-2017-08-11-types-as-contracts-evaluation-html/5753
 ---
 
 Some weeks ago, I described [Types as Contracts]({{ site.baseurl }}{% post_url 2017-07-17-types-as-contracts %}) as an approach for how to go about defining Rust's aliasing-related [undefined behavior]({{ site.baseurl }}{% post_url 2017-07-14-undefined-behavior %}).