! { dg-do run }
!
! PR 44936: [OOP] Generic TBP not resolved correctly at compile time
!
! Contributed by Salvatore Filippone <sfilippone@uniroma2.it>

module foo_mod
  type foo
    integer :: i
  contains
    procedure, pass(a) :: doit => doit1
    procedure, pass(a) :: getit=> getit1
    generic, public :: do  => doit
    generic, public :: get => getit
  end type foo
  private doit1,getit1
contains
  subroutine  doit1(a)
    class(foo) :: a
    a%i = 1
    write(*,*) 'FOO%DOIT base version'
  end subroutine doit1
  function getit1(a) result(res)
    class(foo) :: a
    integer :: res
    res = a%i
  end function getit1
end module foo_mod

module foo2_mod
  use foo_mod
  type, extends(foo) :: foo2
    integer :: j
  contains
    procedure, pass(a) :: doit  => doit2
    procedure, pass(a) :: getit => getit2
  end type foo2
  private doit2, getit2
contains
  subroutine  doit2(a)
    class(foo2) :: a
    a%i = 2
    a%j = 3
  end subroutine doit2
  function getit2(a) result(res)
    class(foo2) :: a
    integer :: res
    res = a%j
  end function getit2
end module foo2_mod

program testd15
  use foo2_mod
  type(foo2) :: af2

  call af2%do()
  if (af2%i .ne. 2) call abort
  if (af2%get() .ne. 3) call abort

end program testd15