! { dg-do compile }
!
! PR 56261: [OOP] seg fault call procedure pointer on polymorphic array
!
! Contributed by Andrew Benson <abensonca@gmail.com>

  implicit none
  type :: nc
  end type
  class    (nc), allocatable :: c
  procedure(  ), pointer     :: f => ff

  allocate(c)
  call f(c)     ! { dg-error "Polymorphic argument requires an explicit interface" }

contains

  subroutine ff (self)
    class(nc) :: self
  end subroutine
  
end