The Unconstrained_Array attribute can be used with a prefix that
denotes any type or subtype. It is a static attribute that yields
True if the prefix designates an unconstrained array,
and False otherwise. In a generic instance, the result is
still static, and yields the result of applying this test to the
generic actual.