luau-lang/rfcs
1
0
Fork 0
mirror of https://github.com/luau-lang/rfcs.git synced 2025-04-03 01:50:59 +01:00
Code Issues Projects Releases Packages Wiki Activity

Don't need this one cast.

Browse source
This commit is contained in:
Alexander McCord 2024-03-06 18:23:12 -08:00 • committed by GitHub
parent ae2628783e
commit 412425344a
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/type-ascription-by-inhabitance.md
View file

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