From 4692c55687573f11659dcd04a327dff840bd16f0 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

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

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