Recursive generic type with different parameters inside table or function crashes new solver

[nothing1649]

As of version 0.662, the following types crash the new solver, with the message "Internal recursion counter limit exceeded".

--InternalCompilerError: Internal recursion counter limit exceeded
type a<T> = {a<{T}>}
type b<T> = {b<T | string>}
type c<T> = {c<T & string>}
type d<T> = (d<T | string>) -> ()