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 lower-bounds-calculation.md

Browse source 
This RFC is abandoned; for posterity we will keep this in the tree for now, as it's likely that it represents a subset of the future set of LTI rules
This commit is contained in:
Arseny Kapoulkine 2023-02-14 12:23:54 -08:00 • committed by GitHub
parent 64f41297ef
commit d535297ee4
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/lower-bounds-calculation.md
View file

@ -1,5 +1,7 @@
# Lower Bounds Calculation
**Status**: Abandoned in favor of a future design for full local inference
## Summary
We propose adapting lower bounds calculation from Pierce's Local Type Inference paper into the Luau type inference algorithm.