[J3] Why INTNET(IN) is required on procedure pointer dummy argument when the actual argument is not a pointer?

[Daniel C Chen]

In F2023 subclause 15.5.2.10, <Actual arguments associated with dummy procedure entities>
 the standard says
"...If the actual argument is not a pointer, the dummy argument shall have INTENT (IN); ..."
Q1.
What is the reason for this requirement? It seems quite harmless to me if the procedure pointer association status changes. Granted, it will no longer be associated with the actual procedure, but it seems fine.

Q2.
If there is a good reason for Q1, would a reference to a function that returns a procedure pointer as actual argument requires the cOrresponding procedure pointer dummy to have INTENT(IN)?

Thanks,
Daniel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20240223/c226485e/attachment.htm>