[Bug fortran/107742] New: class mismatch in passed procedure

[Bug fortran/107742] New: class mismatch in passed procedure

[jwmwalrus at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107742

            Bug ID: 107742
           Summary: class mismatch in passed procedure
           Product: gcc
           Version: 12.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jwmwalrus at gmail dot com
  Target Milestone: ---

Hi.

The code below throws the following error:

   51 |         if (this%match(my_proc, 5)) continue
      |                       1
Error: Interface mismatch in dummy procedure ‘proc’ at (1): Type mismatch in
argument 'this' (CLASS(a)/CLASS(b))


----------8<----------
module mod1
    type, abstract :: a
    contains
        procedure(i_match), deferred :: match
    end type

    abstract interface
        subroutine i_proc(this, i)
            import
            class(a), intent(inout) :: this
            integer, intent(in) :: i
        end subroutine
        function i_match(this, proc, i) result(cond)
            import
            logical :: cond
            class(a), intent(inout) :: this
            procedure(i_proc) :: proc
            integer, intent(in) :: i
        end function
    end interface

    type, extends(a) :: b
    contains
        procedure :: match => match_b
        procedure :: exec
    end type

    interface
        module subroutine exec(this)
            class(b), intent(inout) :: this
        end subroutine
    end interface
contains
    function match_b(this, proc, i) result(cond)
        logical :: cond
        class(b), intent(inout) :: this
        procedure(i_proc) :: proc
        integer, intent(in) :: i
        call proc(this, i)
        cond = .true.
    end function
    subroutine my_proc(this, i)
        class(b), intent(inout) :: this
        integer, intent(in) :: i
    end subroutine
end module

submodule (mod1) smod1
contains
    module procedure exec
        if (this%match(my_proc, 5)) continue
    end procedure
end submodule
---------->8----------


Since type b extends type a, doesn't my_proc satisfy the i_proc interface?