删除类型注解并添加新推断的类型注解。