luau-lang/rfcs
1
0
Fork 0
mirror of https://github.com/luau-lang/rfcs.git synced 2025-05-04 10:43:48 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update docs/rawget-type-operator.md

Browse source 
Co-authored-by: aaron <aweiss@hey.com>
This commit is contained in:
Junseo Yoo 2024-06-18 17:23:40 -07:00 • committed by GitHub
parent 0efbc17d2a
commit afccdf5615
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/rawget-type-operator.md
View file

@ -9,7 +9,7 @@ This RFC proposes the addition of a new type operator, `rawget`, which can be us
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<someTy, someProp> = rawget(someTy, someProp)
local prop: rawget<typeof(someExpr), "someProp"> = rawget(someExpr, "someProp")
```
## Design