http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46244
--- Comment #1 from janus at gcc dot gnu.org 2010-10-30 14:30:27 UTC --- Related test case by Mikael, resulting in a segfault (PR 46196 comment #11): module type_a type a sequence end type a end module type_a module type_a_bis type a sequence end type a end module type_a_bis use type_a use type_a_bis, only: b => a type(b) :: y call bar(y) contains subroutine bar (x) type(a) :: x end subroutine bar end