https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101319
Bug ID: 101319 Summary: Missing diagnostic for argument with type parameters for assumed-type dummy Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: sandra at gcc dot gnu.org Target Milestone: --- In section 15.5.2.4 Ordinary dummy variables, the Fortran 2018 standard says: If the actual argument is of a derived type that has type parameters, type-bound procedures, or final subroutines, the dummy argument shall not be assumed-type. gfortran is giving a diagnostic for the type-bound procedures and final subroutines cases, but not the derived type with type parameters case. Testcase is procedures/assumed-type-dummy.f90 included in the TS29113 testsuite posted here: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574115.html