[J3] C1128 in N1259

[Van Snyder]

I don't understand the usefulness of most of C1128 in N1259.

It prohibits a varioable that has LOCAL locality from having the
ALLOCATABLE attribute or being of finalizable type.  It doesn't prohibit
these things for subobjects of such variables.  It doesn't prohibit
these things for variables declared within BLOCK constructs within DO
CONCURRENT constructs.

Am I missing something, or did we fail to finish this constraint, or is
it overkill?