From 2126e5c0d2c9388b46c6bb0bb15be32edc18d323 Mon Sep 17 00:00:00 2001 From: Junseo Yoo <59751754+joonyoo181@users.noreply.github.com> Date: Thu, 13 Jun 2024 16:11:37 -0700 Subject: [PATCH] Revised wording for motivation section Co-authored-by: aaron --- docs/rawget-type-operator.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/rawget-type-operator.md b/docs/rawget-type-operator.md index 8bdffd0..1c4be96 100644 --- a/docs/rawget-type-operator.md +++ b/docs/rawget-type-operator.md @@ -6,7 +6,7 @@ This RFC proposes the addition of a new type operator, `rawget`, which can be us ## Motivation -Given that `rawget` is a built-in runtime operator in the language ([rawget in Luau Global functions](https://luau-lang.org/library#global-functions)), it feels natural for there to be a version of this as a type operator. As such, the main motivation behind this feature is to close out holes in Luau's type families and allow Luau developers to be more expressive writing typed code: +Currently, `rawget` is a built-in runtime operator in the language ([rawget in Luau Global functions](https://luau-lang.org/library#global-functions)) that is missing a corresponding type operator that captures its behavior. This RFC seeks to address this hole in the type system by providing a builtin type operator for `rawget` that will allow Luau developers to express more accurate types in their code: ```luau local prop: rawget = rawget(someTy, someProp)