New solver: Using the result of a type function that errors causes type inference to fail to complete

[funwolf7]

Any time the resulting type of a type function that should error due to invalid parameters gets used, it causes type inference to fail to complete. This also happens with user-defined type functions that error.

Examples:

local test = "a" + "b"
print(test.a)

type test = unm<unm<{}>>

type function test()
    error()
end
local test: test<>
test.a()