From 44aa7dfb3f8021527925b6a1ae23e754817acbd2 Mon Sep 17 00:00:00 2001 From: Arseny Kapoulkine Date: Thu, 24 Mar 2022 13:10:30 -0700 Subject: [PATCH] Mark sealed table subtyping RFC as implemented --- docs/sealed-table-subtyping.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/sealed-table-subtyping.md b/docs/sealed-table-subtyping.md index 7310795..7371490 100644 --- a/docs/sealed-table-subtyping.md +++ b/docs/sealed-table-subtyping.md @@ -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