[swift-evolution] [Discussion] Determining argument count from context

[Anton Zhilin]

[1,2,3].reduce(0) { $1 }  //=> 3
[1,2,3].reduce(0) { $0 }  // error :(

Am I requesting too much from type checker?
Will recent function type proposals resolve the issue?