Disable iff in immediate assertion

In reply to sj1992:

Did you try it?

You cannot use disable iff or $rose (or any sampled function) because there is no inferred clock—it is instantaneous.