(j3.2006) C547 and subcomponent

[Van Snyder]

C547 says

"C547 An entity with the INTENT(OUT) attribute shall not be of type
LOCK_TYPE (13.8.2.16) of the intrinsic module ISO_FORTRAN_ENV or have a
subcomponent of this type."

If one has an allocatable component that in turn has a component of type
LOCK_TYPE, the component of type LOCK_TYPE is not a subcomponent of the
dummy argument.

C1304 clearly anticipates deallocating objects having subobjects of type
lock type, which is what would happen if an actual argument could be
associated with such a dummy argument -- but C1304 prohibits that.

Is this another case where the term "potential subobject component,"
that Malcolm proposed several weeks ago, ought to be used?

Another question is "Why do we have C547 if you can't associate an
actual argument involving type LOCK_TYPE with an intent(out) dummy
argument?"