I can't recall a single time that type-checker speed was the limiting factor for me.

I can't say I've been bottlenecked on it, but I've certainly been bothered by it.