It makes us calculate the hashCode() twice (once for checking if the constraint has been already checked and once for marking the constraint as checked) while it does not change the hashCode at all (and fortunately because we wouldn't want it to be different...).