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:55:08 +01:00 • committed by GitHub
parent 5308d81184
commit c9328c7f88
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -33,15 +33,6 @@ end
test(1, "string") -- Type error: Expected `number`, got `string`
```
### Type Checking Rules
1. When a polymorphic type is marked as `T!`:
- The first instantiation of `T` determines its type.
- Any subsequent use of `T` in the same context must match this type exactly.
- If a different type is encountered, a **type error** is raised.
- `T` will not expand into a union.
## Drawbacks
- Introduces a new syntax modifier (`T!`), which may lead to a symbol soup, but it doesn't seem too shabby next to `T?`.