System verilog assertion : |-> operator with intersect construct

SystemVerilog
,
2

In reply to kishan patel:

The intersect operator only works between two sequences. You are trying to intersect two properties.