/**
* @param targets the type parameters whose arguments we are trying to solve for
* @return true if this constraint can't be broken up into other constraints or further simplified
* In general, if either argument or formal parameter is a use of the type parameters we are
* inferring over then the constraint cannot be reduced further
*/
public boolean isIrreducible(final Set<TypeVariable> targets) {
return TypeArgInferenceUtil.isATarget(argument, targets)
|| TypeArgInferenceUtil.isATarget(formalParameter, targets);
}
