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