From c50ac75cd9702b7e6029f9494459788addf4789c Mon Sep 17 00:00:00 2001
From: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
Date: Tue, 10 May 2022 15:45:29 -0700
Subject: [PATCH] Update type-states.md

---
 rfcs/type-states.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/rfcs/type-states.md b/rfcs/type-states.md
index bdf926e7..5d478969 100644
--- a/rfcs/type-states.md
+++ b/rfcs/type-states.md
@@ -133,8 +133,7 @@ local function f(x: number | string)
         x = 5
     end
 
-    -- `x` is of type `number`
-    -- `x` is of type `number | string`
+    -- `x` should be of type `number`, but without control flow analysis, it will be of type `number | string`
 end
 ```