20中是否存在类型推断回归

20中是否存在类型推断回归