[account42]

Making programmers manually annoate every single function is infinitely more costly.

[dwattttt]

That rather depends. Compile time certainly wouldn't scale linearly with the size of a function, you could well reach a scenario where adding in a line to a function results in a year being added to the compile time.

[nickitolas]

Are you also a proponent of nonlocal type inference? Do you think annotating types is too costly for programmers?

[account42]

I am a proponent of the auto return type for simple wrapper functions like this, yes.