assert
Drops event and emits a warning if the invariant is violated.
Description
The assert
operator asserts that invariant
is true
for events. In case an
event does not satisfy the invariant, it is dropped and a warning is emitted.
The only difference between assert
and where
is that latter does not emit
such a warning.