My understanding is you are saying TypeScript has a similar complexity problem in its type system as Swift.

I am wondering if you have a common example that would timeout or have problems.

If not then I struggle to see what similarity you are seeing.

(Genuine question, I am interested in what other languages do)

Everyone misunderstood your reply.

Perhaps it was a pure academic reply? Because reality always trumps theory.