[sv-ec] Query regarding queue indexing

Hi,
I have some queries regarding queue indexing:

int q1[$];

Case I: 
q1 = q1[0:$-1];
According to LRM, this is valid expression 
Here $-1 is evaluated at runtime so this is not a constant expression.

Case II :
q1 = q1[0:q1.size()-1];
according to BNF :
part select expression should be constant expression : constant expression
Here size() is also evaluated at runtime. 
So is this expression valid for queue ?
Also is the constant expression check for part select not required for a queue?

Some standard tools are passing.

Thanks,
Kakoli





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