Type inference for block variables within block calls.

在块内部的块变量类型推导。