Hacker News new | ask | show | jobs
by Narishma 836 days ago
> If the type system complains of an issue in other code after a local change, doesn't that mean that the other code indeed needs updating

The problem is when it doesn't complain but instead infers some different type that happens to match.