add forum link
authorRalf Jung <post@ralfj.de>
Wed, 22 Aug 2018 16:54:48 +0000 (18:54 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 22 Aug 2018 16:54:48 +0000 (18:54 +0200)
personal/_posts/2018-08-22-two-kinds-of-invariants.md

index e87202f376c6b1f741f5d1151a35261ee57ba129..16fad75e7758d58675e5b56fe3c3fcb6cba0d0f2 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "Two Kinds of Invariants"
 categories: internship rust
 ---
 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*:
 ---
 
 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.
 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! -->
+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
 
 #### Footnotes