From 8a8140c297a6e5659afdbc3741f34bdcaedb0eef Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 22 Aug 2018 18:54:48 +0200 Subject: [PATCH] add forum link --- personal/_posts/2018-08-22-two-kinds-of-invariants.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/personal/_posts/2018-08-22-two-kinds-of-invariants.md b/personal/_posts/2018-08-22-two-kinds-of-invariants.md index e87202f..16fad75 100644 --- a/personal/_posts/2018-08-22-two-kinds-of-invariants.md +++ b/personal/_posts/2018-08-22-two-kinds-of-invariants.md @@ -1,6 +1,7 @@ --- title: "Two Kinds of Invariants" categories: internship rust +forum: https://internals.rust-lang.org/t/two-kinds-of-invariants/8264 --- When talking about the Rust type system in the context of unsafe code, the discussion often revolves around *invariants*: @@ -178,6 +179,6 @@ For unsafe code authors, the slogan summarizing this post is: I think we have enough experience writing unsafe code at this point that we can reasonably discuss which validity invariants make sense and which do not -- and I think that it is high time that we do so, because many unsafe code authors are wondering about these exact things all the time. The plan is to open issues in the [UCG RFCs repo](https://github.com/rust-rfcs/unsafe-code-guidelines/) soon-ish, one issue for each type family that we need to make decisions on wrt. validity. - +Meanwhile, if you have any comments or questions, feel free to join us in the [forum](https://internals.rust-lang.org/t/two-kinds-of-invariants/8264)! #### Footnotes -- 2.30.2