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

Apply suggestions from code review

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-10-12 14:07:04 -05:00
parent 0d0c689b87
commit 2fc6854cac
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/_posts/2022-10-31-luau-semantic-subtyping.md
View file

@ -191,7 +191,7 @@ The other difference between Luau’s type system and off-the-shelf semantic sub
The common case for wanting negated types is in typechecking conditionals: The common case for wanting negated types is in typechecking conditionals:
```lua ```lua
-- initially x has type T -- initially x has type T
if (type(x) == “string”) then if (type(x) == "string") then
-- in this branch x has type T & string -- in this branch x has type T & string
else else
-- in this branch x has type T & ~string -- in this branch x has type T & ~string