Huh, I didn't know that. I just checked the standard and you appear to be correct, so, just for the record:
"... if the keyword static also appears within the [ and ] of the array type derivation, then for each call to the function, the value of the corresponding actual argument shall provide access to the first element of an array with at least as many elements as specified by the size expression."
