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

Update generic-constraints.md

Browse source 
fixed syntax
This commit is contained in:
Kiiyoko 2024-12-12 23:16:27 -05:00 • committed by GitHub
parent ad231459cc
commit 60032131e2
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/generic-constraints.md
View file

@ -40,7 +40,7 @@ The following snippet would also thus be correctly inferred.
```lua
local qux = { foo = 10, bar = "string" }
local function callbackProperty<T, K & keyof(T)>( object: T, key: K, callback: (index<T, K>) -> () )
local function callbackProperty<T, K & keyof<T>>( object: T, key: K, callback: (index<T, K>) -> () )
callback( object[key] )
end
@ -51,7 +51,7 @@ end)
An alternative syntax could be the following, but does not satisfy current requirements about `:` only being used inside `()` and `{}`, and personally does not look as good.
```lua
local function getProperty<T, K: keyof<T>>( object: T, key: K ) ... end
local function callbackProperty<T, K: keyof(T)>( object: T, key: K, callback: (index<T, K>) -> () ) ... end
local function callbackProperty<T, K: keyof<T>>( object: T, key: K, callback: (index<T, K>) -> () ) ... end
```
## Drawbacks
- I am not personally familiar with the internals of the typechecker, but this has a chance to further complicate type inference.