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

fix spelling :(

Browse source
This commit is contained in:
Ardi 2025-03-07 09:37:25 -06:00 • committed by GitHub
parent 1fee95b001
commit 458dcb645f
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 polymorphic function types to express t
## Motivation
The purpose of this feature is to dvelop syntax to prevent polymorphic types from widening into (e.g., number | string) when a function is implicitly instantiated with different argument types. E.g., `test(1, "a")`. In the following code, Luau's current solver infers `T` to be of a union type:
The purpose of this feature is to develop syntax to prevent polymorphic types from widening into (e.g., number | string) when a function is implicitly instantiated with different argument types. E.g., `test(1, "a")`. In the following code, Luau's current solver infers `T` to be of a union type:
```luau
function test<T>(a: T, b: T): T