This condition actually cannot happen. It is a leftover of a previous buggy version of the hazard_getters, where it was happening.
I will remove it.