[sv-bc] Is dynamic variable wirtten in continuous assignment

Hi,
1800 LRM (section 6.6 Scope and lifetime) mentioned the following text:

*Automatic variables and members or elements of dynamic variables class 
properties and dynamically sized variables shall not be written with 
nonblocking, continuous, or procedural continuous assignments. 
References to automatic variables and elements or members of dynamic 
variables shall be limited to proce-dural blocks.

*So are the following cases\ valid:
*case1*:
module top;

int b [];

int a [];
assign a = b;

endmodule

*case2*:
module top;

int b [];

bottom b1(b);

endmodule

module bottom(input int a[]);
endmodule

As per LRM, they should be invalid, but some simulators are passing.

-- 
Regards
Surya.