luau-lang/rfcs
1
0
Fork 0
mirror of https://github.com/luau-lang/rfcs.git synced 2025-04-04 18:41:00 +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-06 00:16:44 +01:00 • committed by GitHub
parent 8a24f5b8fa
commit 9df20a06c4
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/eager-inference-annotations-for-polymorphic-types.md
View file

@ -2,7 +2,7 @@
## Summary ## Summary
Introduce a way to opt into monomorphic (greedy) type inference for generics, preventing them from widening into unions when instantiated with different types. Introduce a way to annotate a polymorphic function signature to express that it will only allow one argument type to interact with automatic instantiation.
## Motivation ## Motivation
@ -27,7 +27,7 @@ test(1, "string") -- Type error: Expected `number`, got `string`
## Design ## Design
This RFC proposes adding some symbol next to each type variable which is a clear opt-in. This RFC proposes adding some symbol as a suffix (or prefix) that annotates the inference behaviour for the generic.
### New Syntax ### New Syntax