Can insert unrelated types into arrays

Repro steps:

  • This script with the New Luau Type Solver beta (not sure if it’s required):
--!strict

local a: { Part } = {}
local s: string = "hi"

table.insert(a, s)

Expected behavior:
A warning on the table.insert line

Actual behavior:
No warning

1 Like

Thanks for the report! We’re already investigating this, as it happens. We hope the fix will be ready soon.

1 Like