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 
edited drawbacks
This commit is contained in:
Kiiyoko 2024-12-12 23:14:56 -05:00 • committed by GitHub
parent de0bc30c1a
commit 5228e18210
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/generic-constraints.md
View file

@ -54,7 +54,7 @@ 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
```
## Drawbacks
- I am not familiar with the internals of the typechecker but this would further complicate type inference.
- I am not personally familiar with the internals of the typechecker, but this has a chance to further complicate type inference.
- Adding an extra use to `&` could make its usage more confusing to novices.
## Alternatives
- Don't do this; this would make it impossible for functions like above to be able to be inferred correctly. Just let people explicitly type their variables instead of inferring types. This makes code more verbose and would likely not allow for full optimization.