Your take sounds more reasonable. I would think you would get diminishing returns if you try to solve all pathological cases.

Sometimes it is the fault of the language design too. Maybe the language spec needs to be changed. Imagine all the wasted effort to optimize V8 when you could have put static typing into Javascript itself.