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

Added comment about Instance.new

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-04-06 15:07:21 -05:00
parent 8c522788bd
commit 7819bf31c7
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
rfcs/function-overload-resolution.md
View file

@ -138,6 +138,15 @@ In this proposal, the type of `f(x)` can depend on the type of `x`, which may ca
There may be other devils in the details.
Saturation on something like the type of `Instance.new` would be horrible
```lua
( ("Part") -> Part
& ("Folder") -> Folder
& ("Humanoid") -> Humanoid
& ... )
```
## Alternatives
We could try applying fixes to the current algorithm, and live with constraint order mattering.