CheckTypesResult () { CheckTypesResult result = new CheckTypesResult(); for (int i = 0; i < parameters.size(); i++) { Exprent parameter = parameters.get(i); VarType leftType = descriptor.params[i]; result.addMinTypeExprent(parameter, VarType.getMinTypeInFamily(leftType.getTypeFamily())); result.addMaxTypeExprent(parameter, leftType); } return result; }