http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37297
janus at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |DUPLICATE Summary|Ambiguity check for F2003 |[OOP] Ambiguity check for |GENERIC bindings is not yet |GENERIC bindings is not yet |fully conformant |fully conformant --- Comment #1 from janus at gcc dot gnu.org 2011-09-10 08:45:00 UTC --- Note: The test case in comment #0 is (correctly) rejected with PROCEDURE, PASS :: proc1 1 Error: Non-polymorphic passed-object dummy argument of 'proc1' at (1) However, when correcting this, it is still accepted: MODULE m IMPLICIT NONE TYPE t CONTAINS PROCEDURE, PASS :: proc1 PROCEDURE, NOPASS :: proc2 GENERIC :: gen => proc1, proc2 END TYPE CONTAINS SUBROUTINE proc1 (me) CLASS(t) :: me END SUBROUTINE SUBROUTINE proc2 () END SUBROUTINE END MODULE PROGRAM main USE m IMPLICIT NONE TYPE(t) :: myobj CALL myobj%gen () END PROGRAM main This is the same issue as the one reported in PR47710. *** This bug has been marked as a duplicate of bug 47710 ***