泛型推断

泛型调用、菱形构造器、集合字面量与数字字面量共用同一双向约束求解模型。规则、求解顺序与失败边界统一见类型推断形式化说明。