[masklinn]

Rust does require explicitly writing out the signature of top-level functions.

I believe it was a conscious decision to limit de cascading of type errors from global type inference, the base algorithm was capable of it.

[vacuity]

Yes, particularly due to the design decision that Rust code should strive to be explicit in intention and mechanism.