3 ms·
> 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
by Narishma 3y 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.