Type inference for block variables within block calls.
⇑ Translate the sentence above by Google ⇑
Related: inference
Prev: Even with type inference, redundant type information is needed.
Next: We call it the inference team.
