From b80aac3db29938b5f13ea1f40ca207f562c8aae4 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Tue, 18 Oct 2022 16:22:05 -0500 Subject: [PATCH] typo --- 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 13638574..8db035b9 100644 --- a/docs/_posts/2022-10-31-luau-semantic-subtyping.md +++ b/docs/_posts/2022-10-31-luau-semantic-subtyping.md @@ -29,7 +29,7 @@ While inaccuracies are inevitable, we try to remove them whenever possible, sinc ## Subtyping as a source of false positives -One of the sources of false positives in Luau (and many other similar languages like TypeScript or Flow) is *subtyping*. Subtyping is used whenever a variable is initialized or assigned to, and whenever a function is called: the type system checks that the type of the expression is a subtype of the type of the variable. For example, if we types to the above program +One of the sources of false positives in Luau (and many other similar languages like TypeScript or Flow) is *subtyping*. Subtyping is used whenever a variable is initialized or assigned to, and whenever a function is called: the type system checks that the type of the expression is a subtype of the type of the variable. For example, if we add types to the above program ```lua local x : CFrame = CFrame.new() local y : Vector3 | CFrame