Compiler: ifx (IFX) 2025.2.1
OS: Rocky Linux 8.9 (Green Obsidian)
I've found a potential bug at the intersection of parameterized derived types, nesting, and the generic overload. The compiler won't build the code and says, "there is no matching specific function for this type bound generic function reference", but it looks good to me.
If I remove the type parameter, the code compiles. Furthermore, if "generic" is switched to "procedure", it compiles fine.
Am I missing something, or is this a bug?
module Base_Header
implicit none
type, abstract :: base(param1)
integer, len :: &
param1
contains
generic, public :: method => method_ ! switch "generic" to "procedure" and this compiles
procedure, private :: method_
end type
type, extends(base) :: extension
class(base(:)), allocatable :: something
contains
procedure, public :: doSomething
end type
contains
function method_(this,x) result(y)
class(base(*)), intent(in) :: this
real(8), intent(in) :: x
real(8) :: y
y = 2*x
end function
function doSomething(this,x) result(y)
class(extension(*)), intent(in) :: this
real(8), intent(in) :: x
real(8) :: y
y = this%something%method(x)
end function
end module
