From 412425344a0979db9b0e42e4a2abd889185cc2cb Mon Sep 17 00:00:00 2001
From: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
Date: Wed, 6 Mar 2024 18:23:12 -0800
Subject: [PATCH] Don't need this one cast.

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

diff --git a/docs/type-ascription-by-inhabitance.md b/docs/type-ascription-by-inhabitance.md
index 052424e..7a8f541 100644
--- a/docs/type-ascription-by-inhabitance.md
+++ b/docs/type-ascription-by-inhabitance.md
@@ -45,7 +45,7 @@ The reason why the special case oughtn't report an error is to support ad hoc ty
 ```lua
 local x = error("") :: string | number
 -- versus
-local x = if math.random() > 0.5 then "hello" :: string else 5
+local x = if math.random() > 0.5 then "hello" else 5
 ```
 
 We don't apply the same special case for `T`, otherwise we won't report an error when `e : string` and `T` is `never`. This would mean we get to support the exhaustive analysis use case: