System verilog assertion : |-> operator with intersect construct

[atalur]

In reply to kishan patel:

Why do you need |-> operator here? Might as well just use a ##[1:2} b