This condition is already checked in the caller. Ignore it or assert it here.