A.2 通用目标类型推断