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

Update type-ascription-by-inhabitance.md

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

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

@ -33,6 +33,7 @@ local function f(e: number | string)
-- Not OK -- Not OK
noop(e :: boolean) -- (number | string) & boolean ~ never noop(e :: boolean) -- (number | string) & boolean ~ never
noop(e :: never) -- (number | string) & never ~ never
-- Special cases -- Special cases
noop(error("") :: string) -- OK noop(error("") :: string) -- OK