类型推断
2023 [1]