tests: add regression test for #754

teal-language · Aug 21, 2024 · c5c862d · c5c862d
1 parent 2bd5357
commit c5c862d
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/spec/declaration/local_type_spec.lua b/spec/declaration/local_type_spec.lua
@@ -212,4 +212,23 @@ describe("local type", function()
       { y = 15, x = 42, msg = 'in record field: first: got string "first", expected integer' },
       { y = 15, x = 60, msg = 'in record field: second: got integer, expected string' },
    }))
+
+   it("resolves type arguments in nested types correctly (#754)", util.check_type_error([[
+      local record MyNamespace
+          record MyGenericRecord<T>
+              Data: T
+          end
+      end
+
+      local enum MyEnum
+          "foo"
+          "bar"
+      end
+
+      local type MyAlias = MyNamespace.MyGenericRecord<MyEnum>
+
+      local t: MyAlias = { Data = "invalid" }
+   ]], {
+      { y = 14, msg = 'in record field: Data: string "invalid" is not a member of MyEnum' }
+   }))
 end)