------- Comment #2 from burnus at gcc dot gnu dot org 2007-07-02 22:28 ------- Related is the checking of type(*). Here, in decl.c everything is allowed and a later check is missing. Result: accepts invalid:
-------------- module x implicit none type t integer :: i end type t interface type(t) function bar() end function end interface end -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31154