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

Mark sealed table subtyping RFC as implemented

Browse source
This commit is contained in:
Arseny Kapoulkine 2022-03-24 13:10:30 -07:00 • committed by GitHub
parent 2335b26ffc
commit ab64a097cd
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rfcs/sealed-table-subtyping.md
View file

@ -1,5 +1,9 @@
# Sealed table subtyping
**Status**: Implemented
## Summary
In Luau, tables have a state, which can, among others, be "sealed". A sealed table is one that we know the full shape of and cannot have new properties added to it. We would like to introduce subtyping for sealed tables, to allow users to express some subtyping relationships that they currently cannot.
## Motivation