ifx rejects passing assumed-rank dummy to procedure with assumed-rank dummy

Hello,

the following program should be valid Fortran but is rejected by ifx 2025.0:

module m
  implicit none
contains
  subroutine sub1 (y)
    integer, pointer, intent(in) :: y(..)
    call sub2 (y)
  end

  subroutine sub2 (x)
    integer, pointer, intent(in) :: x(..)
  end
end

I get:

% ifx ifx-assumed-rank.f90
ifx-assumed-rank.f90(6): error #8793: This assumed-rank variable must not appear in a designator or expression in this context.   [Y]
    call sub2 (y)
---------------^
compilation aborted for ifx-assumed-rank.f90 (code 1)

Several other brands (including NAG) accept the code.

Thanks,

Harald