https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78848
--- Comment #1 from janus at gcc dot gnu.org --- Also one can wonder what kind of code should be generated here. When using the type-bound form of the DTIO procedure, we generate a truly polymorphic reference to the DTIO procedure when printing a CLASS variable, i.e. z._vptr->wf in our example. This was implemented in PR 78737. If we have no typebound DTIO procedure, but rather a non-typebound one, we cannot do that, so we probably have to call the DTIO procedure in a non-polymorphic fashion (based on the declared type), as if we were printing a TYPE variable (?).