https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66366
anlauf at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |anlauf at gcc dot gnu.org --- Comment #11 from anlauf at gcc dot gnu.org --- (In reply to janus from comment #5) > The original problem in comment #0 is fixed with r242351. > > The ICE on comment #2 is a separate issue and still persists. Adding an IMPLICIT NONE to comment#2, we get a strange error (rejects-valid). module sps implicit none type :: spsf end type spsf type :: h5 contains procedure :: c => hC end type h5 contains subroutine hC(s) class(h5), intent(inout) :: s end subroutine hC subroutine frf() type(h5) :: spsf call spsf%c() end subroutine frf end module sps pr66366-c2.f90:3:14: 3 | type :: spsf | 1 Error: Symbol 'spsf' at (1) has no IMPLICIT type The error vanishes if the typebound procedure is removed from the type declaration and the corresponding typebound call. Maybe close this one and open a new one about typebound procedures (or merge)?