https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89067
--- Comment #1 from Antony Lewis <antony at cosmologist dot info> --- The error message on this code subroutine test type x end type type, extends(x):: y integer ii end type type(y) yy yy%i=1 end subroutine is Error: 'i' at (1) is not a member of the 'x' structure But it should refer to the 'y' structure, not the base class 'x'. Obviously minor and low priority, but more less helpful if y is a deep derived class.