There's also a middle ground which is to support function-local type inference, but not inter-function type inference, which guarantees that such an "anchor" is

There's also a middle ground which is to support function-local type inference, but not inter-function type inference, which guarantees that such an "anchor" is never all that far away (especially never in another file). This is the approach Rust uses.