Update type-states.md

This commit is contained in:
Alexander McCord 2022-05-10 15:45:29 -07:00 committed by GitHub
parent bf35b3e852
commit c50ac75cd9
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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
```