From fac8e68ffcffab93ca2525b01d2ab11efe69316c Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 11 Aug 2017 19:28:02 -0700 Subject: [PATCH 1/1] more forum links --- personal/_posts/2017-08-11-types-as-contracts-evaluation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2017-08-11-types-as-contracts-evaluation.md b/personal/_posts/2017-08-11-types-as-contracts-evaluation.md index 08f9bf5..21721c4 100644 --- a/personal/_posts/2017-08-11-types-as-contracts-evaluation.md +++ b/personal/_posts/2017-08-11-types-as-contracts-evaluation.md @@ -265,7 +265,7 @@ Finally, there is of course the discussion around how to handle raw pointers; I Unfortunately, today is the last day of my internship, so I will no longer be able to work on all of this full-time like I did the last three months. Still, I certainly intend to stay involved. This problem is way too interesting to just let it go :) -As always, please comment with your thoughts on the topic. +As always, please [comment](https://internals.rust-lang.org/t/https-www-ralfj-de-blog-2017-08-11-types-as-contracts-evaluation-html/5753) with your thoughts on the topic. I am particularly curious about what kind of test cases you are throwing at miri, and how it is doing! **Update**: I added a proposal for how to fix the `Arc` problem. -- 2.30.2