reflex
reflex copied to clipboard
Don't check in newSubscriberCoincidenceInner whether occRef is already set
The code currently checks in the propagate of the inner event whether the coincidence' occRef has been set. As far as I understand this should never happen unless there is a bug in the Reflex implementation. This PR adds an error to that case and puts the check behind the DEBUG flag.