|
|
|
|
|
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. |
|