From 2fc6854cac6cb3804781e4df6829f30da9597398 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Wed, 12 Oct 2022 14:07:04 -0500 Subject: [PATCH] Apply suggestions from code review --- docs/_posts/2022-10-31-luau-semantic-subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_posts/2022-10-31-luau-semantic-subtyping.md b/docs/_posts/2022-10-31-luau-semantic-subtyping.md index c34b2b5a..0d3d4e21 100644 --- a/docs/_posts/2022-10-31-luau-semantic-subtyping.md +++ b/docs/_posts/2022-10-31-luau-semantic-subtyping.md @@ -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: ```lua -- initially x has type T -if (type(x) == “string”) then +if (type(x) == "string") then -- in this branch x has type T & string else -- in this branch x has type T & ~string