Why is this an issue?

This rule detects sequence expressions that can never be matched.

How to fix it

Code examples

Noncompliant code example

module fly;
  assert property ((1'b1 ##1 1'b0) intersect (1'b1[*0] ##2 1'b1));
endmodule