https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117539
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
Last reconfirmed| |2024-11-12
Ever confirmed|0 |1
--- Comment #1 from anlauf at gcc dot gnu.org ---
F2023 has:
C1596 An INTENT (OUT) dummy argument of a pure procedure shall not be such
that finalization of the actual argument would reference an impure procedure.
and also
C1597 An INTENT (OUT) dummy argument of a pure procedure shall not be
polymorphic or have a polymorphic allocatable ultimate component.
Your example may satisfy the first constraint, but not the second one.
That's supposedly the reason all compilers reject it.
Do you agree?
