https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71894
--- Comment #1 from Gerhard Steinmetz <gerhard.steinmetz.fort...@t-online.de> --- A variation : $ cat za1.f90 program p type t end type class(t) :: x class(t), allocatable :: y select type (y) type is (t) y = x end select end