From 8cebfb344c282dc38c650189c48322682a365563 Mon Sep 17 00:00:00 2001 From: Alexander McCord <11488393+alexmccord@users.noreply.github.com> Date: Mon, 26 Sep 2022 14:05:17 -0700 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Arseny Kapoulkine --- docs/_pages/typecheck.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_pages/typecheck.md b/docs/_pages/typecheck.md index 5a541651..473dbe5d 100644 --- a/docs/_pages/typecheck.md +++ b/docs/_pages/typecheck.md @@ -79,7 +79,7 @@ local b: unknown = 5 local c: unknown = function() return 5 end ``` -Unlike `any`, `unknown` will not allow itself to inhabit into a different type! +Unlike `any`, `unknown` will not allow itself to be used as a different type! ```lua local function unknown(): unknown @@ -113,7 +113,7 @@ end ## `any` type -`any` is just like `unknown`, except that it allows itself to inhabit into a different type. Essentially, it's an opt-out from the type system entirely. +`any` is just like `unknown`, except that it allows itself to be used as an arbitrary type without further checks or annotations. Essentially, it's an opt-out from the type system entirely. ```lua local x: any = 5