(j3.2006) A bit more explicit about <interface-name>

[Van Snyder]

15.4.3.7p2 says "If <proc-interface> appears and consists of
<interface-name>, it specifies an explicit specific interface...."

It only does that if <interface-name> actually has an explicit specific
interface.

  external A
  procedure(A) :: B

doesn't work with any processor I tried.  They all require A to have
explicit specific interface.

You might believe you can prove a theorem using 15.4.3.7p2, and
eventually reach the conclusion that the <interface-name> in a procedure
declaration statement has to specify an explicit specific interface.
The argument appears to be "<interface-name> specifies an explicit
specific interface, but it can't specify an explicit specific interface
if it doesn't have explicit specific interface."

If we really intend that <interface-name> specify an explicit specific
interface, could we just say that directly, either with a constraint or
ordinary normative text, without beating around the bush?  Something
like

C1528a (R1513) If <proc-interface> appears and consists of
       <interface-name> it shall specify an explicit specific interface.