From ae2628783eff44c7d7340ffb7c419484b08ea993 Mon Sep 17 00:00:00 2001
From: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
Date: Wed, 6 Mar 2024 13:32:38 -0800
Subject: [PATCH] Update type-ascription-by-inhabitance.md

---
 docs/type-ascription-by-inhabitance.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/type-ascription-by-inhabitance.md b/docs/type-ascription-by-inhabitance.md
index 100bdf8..052424e 100644
--- a/docs/type-ascription-by-inhabitance.md
+++ b/docs/type-ascription-by-inhabitance.md
@@ -33,6 +33,7 @@ local function f(e: number | string)
 
     -- Not OK
     noop(e :: boolean) -- (number | string) & boolean ~ never
+    noop(e :: never)   -- (number | string) & never ~ never
 
     -- Special cases
     noop(error("") :: string) -- OK