Even with type inference, redundant type information is needed.

即使使用类型推断，还是需要多余的类型信息。