Mark never/unknown types RFC as implemented

ccuser44 · Aug 3, 2022 · 6a62dfe · 6a62dfe
1 parent 40d8512
commit 6a62dfe
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/never-and-unknown-types.md b/docs/never-and-unknown-types.md
@@ -1,5 +1,7 @@
 # never and unknown types
 
+**Status**: Implemented
+
 ## Summary
 
 Add `unknown` and `never` types that are inhabited by everything and nothing respectively.