From 626318b7e273d90e5e47e0530e70d1f4101acf9f Mon Sep 17 00:00:00 2001 From: Dave Cope Date: Wed, 10 Nov 2021 11:04:40 -0800 Subject: [PATCH] Addressed typecasting documentation feedback --- docs/_pages/typecheck.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/_pages/typecheck.md b/docs/_pages/typecheck.md index fcc14e02..58e66bb8 100644 --- a/docs/_pages/typecheck.md +++ b/docs/_pages/typecheck.md @@ -368,11 +368,11 @@ local myTable = {names = {} :: {string}} table.insert(myTable.names, 42) -- not ok, invalid 'number' to 'string' conversion ``` -A typecast itself is also type checked to ensure the conversion specified is a valid one: +A typecast itself is also type checked to ensure the conversion is made to a subtype of the expression's type or `any`: ```lua -local number = 1 -local value = number :: any -- ok, 'number' is a subtype of 'any' -local flag = number :: boolean -- not ok, invalid 'number' to 'boolean' conversion +local numericValue = 1 +local value = numericValue :: any -- ok, all expressions may be cast to 'any' +local flag = numericValue :: boolean -- not ok, invalid 'number' to 'boolean' conversion ``` ## Roblox types