12.1.14 本地变量类型推断