Improved Type Inference for Generic Instance Creation.

改进对通用实例创建的类型推断。