Tenebris Noctua

This is a deep copy function that I made for tables with generics that also support metatables, and in the new type solver it fails to infer the type of...

```luau type function constructClassData(t) if not t:is("table") then error("Given argument is not a table.") end local nT = types.newtable({ [types.singleton("constructor")] = if t.constructor and t.constructor:is("function") then t.constructor else types.newfunction({ head...

(New Solver) A function that accepts generics and returns it as a type pack will cause unknown to be casted on the returned values. ```luau local function DeepFind(haystack: {[K]: V},...

When you create a custom type (`a`), and create a value which has an optional type of that custom type (`a?`), and insert it to a table meant to contain...

[New Solver] Type Solver encounters an unexpected type pack in subtyping when using returned values from a function with generic type packs.

1

When iterating over a table, and setting the metatable of a value with `pcall`, and using the returned values from this `pcall` operation, a type error occurs. ```luau local foo:...