luau-lang/rfcs
1
0
Fork 0
mirror of https://github.com/luau-lang/rfcs.git synced 2025-04-04 10:30:56 +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 1a424d0679
commit 44aa7dfb3f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/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