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)