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

Update eager-inference-annotations-for-polymorphic-types.md

Browse source
This commit is contained in:
Marcus 2025-03-07 14:51:48 +01:00 • committed by GitHub
parent b995140a1e
commit 5308d81184
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/eager-inference-annotations-for-polymorphic-types.md
View file

@ -6,7 +6,7 @@ The RFC introduces a feature to annotate a polymorphic function signature to exp
## Motivation
The purpose of this feature is to prevent polymorphic types from widening into a union (e.g., number | string) when the function is called with different arguments, like in the case of `test(1, "a")`. Without the `!` annotation, the solver would infer `T` to be `number | string`, which is undesirable when the intention is to enforce strict type consistency across the function.
The purpose of this feature is to prevent polymorphic types from widening into (e.g., number | string) when the function is called with different arguments, like in the case of `test(1, "a")`. Without the `!` annotation, the solver would infer `T` to be `number | string`, which is undesirable when the intention is to enforce strict type consistency across the function.
```luau
function test<T>(a: T, b: T): T