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

Added drawback about breaking places where we might have incorrect type pointer identity checks

Browse source
This commit is contained in:
Vyacheslav Egorov 2021-05-10 14:24:03 +03:00
parent 77ad1eda25
commit 9574acf7c7
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
rfcs/syntax-named-function-type-args.md
View file

@ -52,3 +52,5 @@ Function type comparisons will ignore the argument names, this proposal doesn't
Argument names require that we create unique function types even when these types are 'identical', so we can't compare types using pointer identity.
This is already the case in current Luau implementation, but it might reduce the optimization opportunities in the future.
There might also be cases of pointer identity checks that are currently hidden and named arguments might expose places where correct unification is required in the type checker.