[sv-ac] checker : quick confirmation questionon types allowed/disallowed

Below are some LRM extractions. Thus, I am correct in stating that
1) formal arguments of a checker and variable of a checker *can *also be of
type real, time, string
 2) formal arguments of a checker and variable of a checker* canot be* of
type dynamic array, queue, associative array
   LRM states that "*Automatic variables and members or elements of dynamic
variables*" *shall not be referenced;* thus, if no reference, what's the
use of declaring them if legal?
.
Anything else that is illegal in a checker?
Thanks,
Ben
17.2 Checker declaration
... The legal data types for checker formal arguments are those legal for a
property
...The following elements from the scope enclosing the checker declaration
shall not be referenced in a
checker:
— Automatic variables and members or elements of dynamic variables (see
6.21).
— Elements of fork...join, fork...join_any, or fork...join_none blocks.

16.6 Boolean expressions
... An expression shall result in a type that is cast compatible with an
integral type. Subexpressions
need not meet this requirement as long as the overall expression is cast
compatible with an integral
type.
— Elements of dynamic arrays, queues, and associative arrays that are
sampled for assertion expression
evaluation may get removed from the array or the array may get resized
before the assertion expression
is evaluated. These specific array elements sampled for assertion
expression evaluation shall
continue to exist within the scope of the assertion until the assertion
expression evaluation completes.

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