From 59366ad7f8861bf0b0ae76bcaa4d07a357064e12 Mon Sep 17 00:00:00 2001
From: Alan Jeffrey <403333+asajeffrey@users.noreply.github.com>
Date: Tue, 16 Nov 2021 14:48:01 -0600
Subject: [PATCH] Clarified parsing properties of tables in the presence of
 singleton types (#207)

---
 rfcs/syntax-singleton-types.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/rfcs/syntax-singleton-types.md b/rfcs/syntax-singleton-types.md
index 749006c7..26ea3028 100644
--- a/rfcs/syntax-singleton-types.md
+++ b/rfcs/syntax-singleton-types.md
@@ -48,6 +48,18 @@ type Animals = "Dog" | "Cat" | "Bird"
 type TrueOrNil = true?
 ```
 
+Adding constant strings as type means that it is now legal to write
+`{["foo"]:T}` as a table type. This should be parsed as a property,
+not an indexer. For example:
+```lua
+  type T = {
+    ["foo"]: number,
+    ["$$bar"]: string,
+    baz: boolean,
+  }
+```
+The table type `T` is a table with three properties and no indexer.
+
 ### Semantics
 
 You are allowed to provide a constant value to the generic primitive type.