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

fix typo (true true)

Browse source
This commit is contained in:
Aaron Weiss 2022-08-04 13:04:49 -07:00
parent 8a8efec7af
commit f7c951882f
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/exact-table-types.md
View file

@ -38,7 +38,7 @@ getx(t : {x: number}) return x end`, we treat is as _sealed_ and _inexact_ meani
parameter will _not_ change, but call sites to the function will permit tables that have _more_
properties than the ones listed. Within the body of the function however, the typechecker should
only permit the use of properties explicitly listed in the type since it was annotated. If the type
was instead inferred, a dual condition should be true true --- the properties explicitly listed in
was instead inferred, a dual condition should be true --- the properties explicitly listed in
the type are precisely the ones whose existence the function depends on. Meanwhile, when a table
type is used for a local definition, it is given an _unsealed_ and _exact_ type meaning we always
know _precisely_ the set of properties it has, but that the type itself is stateful and assignments