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

Fleshed out example a bit more

Browse source
This commit is contained in:
ajeffrey@roblox.com 2021-09-20 15:26:07 -05:00
parent e93a80eb84
commit b7a14d4db4
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
rfcs/property-getter-setter.md
View file

@ -141,8 +141,17 @@ function h(): Animal? return x.p end
``` ```
it is not obvious what type to infer for `x`, should it be `{ p: Dog? }` or `{ p: Animal? }`? it is not obvious what type to infer for `x`, should it be `{ p: Dog? }` or `{ p: Animal? }`?
With either of those types, the following code does not typecheck:
```lua
local t1: { p: Animal? } = { p: nil }
local t2: { p: Dog? } = { p: nil }
x = t1 -- Does not typecheck if x: { p: Dog? }
x = t2 -- Does not typecheck if x: { p: Amimal? }
```
If there are separate getter and setter types, there is a most general type, which is If there are separate getter and setter types, there is a most general type, which is
`{ get p: Animal?, set p: Dog? }`. `{ get p: Animal?, set p: Dog? }`, which allows this program to typecheck.
With separate getter and setter types, every position in a type is either With separate getter and setter types, every position in a type is either
covariant or contravariant, and *there are no more uses of invariance*. covariant or contravariant, and *there are no more uses of invariance*.