@Override public boolean hasTypeConstructorMismatch() { return !errorConstraintPositions.isEmpty(); }