From ba97ef876600a735eb3d0aefdc567620a246aeb4 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