[sv-bc] query regarding pattern matching

Hello,
According to the BNF  following testcase is valid but
 I can't understand the meaning of this syntax and some of the simulator 
also passing this testcase.

testcase:
-------
module top;
typedef union tagged{
       bit[7:0] t1[3];
       logic[2:0]t2[5];
}T12;

       T12 t12;

initial
   if (t12 matches (tagged t1 {8'b11001101, 8'b00110011, 8'b00110010})) 
//is valid?
      begin
     end
endmodule

So is this testcase is valid semantically?

Thanks,

Moumita



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.