https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71894
--- Comment #1 from Gerhard Steinmetz <gerhard.steinmetz.fortran@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