Another ICE...

[OP1]

The code below triggers an ICE with ifx 2025.1.0.

MODULE M
IMPLICIT NONE
TYPE :: T_A
    CONTAINS
    PROCEDURE, PUBLIC :: P
END TYPE T_A
TYPE :: T_B
    TYPE(T_A) :: A
END TYPE T_B
TYPE(T_B) :: O[*]
CONTAINS
    SUBROUTINE P(X)
        IMPLICIT NONE
        CLASS(T_A), INTENT(IN) :: X[*]
    END SUBROUTINE P
END MODULE M
   
PROGRAM P
USE :: M
IMPLICIT NONE
CALL O[THIS_IMAGE()]%A%P()
END PROGRAM P

[Devorah_H_Intel · Accepted solution]

I tested this internally, and there is no ICE with the upcoming 2025.2 release of ifx.