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

Forgot two important words.

Browse source
This commit is contained in:
Andy Friesen 2022-03-24 14:18:57 -07:00
parent c9d6c134fc
commit 96449acecb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -168,7 +168,7 @@ So, we propose some different inference rules for functions:
1. The AST fragment `function(arg0..argN) ... end` is typed `(T0..TN, any...) -> R` where `arg0..argN : T0..TN` and `R` is the inferred return type of the function body. Function statements are inferred the same way.
1. Type annotations are unchanged. `() -> ()` is still a nullary function.
For reference, the subtyping rules for unions are unchanged. We include them here for clarity.
For reference, the subtyping rules for unions and functions are unchanged. We include them here for clarity.
1. `A <: A | B`
1. `B <: A | B`