[zdragnar]

I wish this were true. I'm currently dealing with three third-party libraries whose types are out of date with the actual code because they do this.

[rich_harris]

If those libraries were set up correctly, this would cause typechecking to fail.