https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63363 --- Comment #2 from janus at gcc dot gnu.org --- Also it seems that polymorphic arguments to KIND are currently not rejected: class(*), allocatable ::c PRINT *, KIND(c) END