A.1.2 本地变量类型推断