expand post title
authorRalf Jung <post@ralfj.de>
Wed, 22 Aug 2018 19:29:44 +0000 (21:29 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 22 Aug 2018 19:29:44 +0000 (21:29 +0200)
personal/_posts/2018-08-22-two-kinds-of-invariants.md

index a90dc47c9ba7cb25f812d7683280a1d2bc7e4415..785a9fd9efd311b382255f1b7a27935127f6ca85 100644 (file)
@@ -1,5 +1,5 @@
 ---
 ---
-title: "Two Kinds of Invariants"
+title: "Two Kinds of Invariants: Safety and Validity"
 categories: internship rust
 forum: https://internals.rust-lang.org/t/two-kinds-of-invariants/8264
 ---
 categories: internship rust
 forum: https://internals.rust-lang.org/t/two-kinds-of-invariants/8264
 ---