typeof with invalid setmetatable arguments and a table intersection crashes new solver's strict mode

[nothing1649]

As of version 0.642, the following code in the new solver's strict mode causes the linter to crash completely, becoming unresponsive and replacing all type errors with a "subtyping test returned invalid path" error.

--!strict
type self = {} & {}
type Class = typeof(setmetatable())
local function _(): Class
	return setmetatable({}::self, {}) --Subtyping test returned a reasoning with an invalid path
end