Comment by dwattttt

> spooky-action-at-a-distance type errors

Global type inference is literally this. Inferring types leaves gaps in the typing information, being global means the gaps can be arbitrarily large, and so a type conflict could theoretically span every line of a large program.