New solver has type union of tables not classed as table

[OverHash]

Consider the following code sample:

type T = { status: "A" } | { status: "B" }
local x: T = { status = "A" }

-- Type Error: Type '{ status: "A" } | { status: "B" }' could not be converted into 'table'
table.freeze(x)

The error is incorrect here -- we definitely passed a table; the table may be one of two types, but it is still a table.

Therefore, this code should not report any errors.

Note: this might be related to the comments described at

luau/Analysis/src/BuiltinDefinitions.cpp

Lines 397 to 401 in d19a5f0

	// CLI-114044 - The new solver does not yet support generic tables,
	// which act, in an odd way, like generics that are constrained to
	// the top table type. We do the best we can by modelling these
	// functions using unconstrained generics. It's not quite right,
	// but it'll be ok for now.

when creating the table.freeze type definitions, which is a tougher problem to solve. Maybe this is a red herring by me though, it was just my first look 🙃