From 6a62dfeef644e6e85fe24835cf1a59e71e58d214 Mon Sep 17 00:00:00 2001
From: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Date: Wed, 3 Aug 2022 15:40:24 -0700
Subject: [PATCH] Mark never/unknown types RFC as implemented

---
 docs/never-and-unknown-types.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/never-and-unknown-types.md b/docs/never-and-unknown-types.md
index d996afc..5ad216e 100644
--- 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.