fix #1463

2 files changed, 19 insertions, 0 deletions

diff --git a/test/diagnostics/type-check.lua b/test/diagnostics/type-check.lua
index 3aeca5d5..383527c2 100644
--- a/test/diagnostics/type-check.lua
+++ b/test/diagnostics/type-check.lua
@@ -775,6 +775,15 @@ f(1)
 f(<!3!>)
 ]]
 
+TEST [[
+local t = {
+    x = 1,
+}
+
+local x
+t[x] = true
+]]
+
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-local')
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-function')
 config.remove(nil, 'Lua.diagnostics.disable', 'undefined-global')
diff --git a/test/type_inference/init.lua b/test/type_inference/init.lua
index 8c18bfb5..03b3a8ae 100644
--- a/test/type_inference/init.lua
+++ b/test/type_inference/init.lua
@@ -3773,3 +3773,13 @@ t.x = t.x
 
 print(t.<?x?>)
 ]]
+
+TEST 'unknown' [[
+local t = {
+    x = 1,
+}
+
+local x
+
+local <?v?> = t[x]
+]]