https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87945
--- Comment #2 from G. Steinmetz <gs...@t-online.de> --- z1.90 above should be _invalid_ code, because a type parameter inquiry can never be assigned a value, and should not be on LHS. An aequivalent example : $ cat z4.f90 program p character :: a, b a%len = 1 b%kind = 'b' ! plus type mismatch end Both examples from pr87881 comment 2 are looking good with their legal inquiries. Tested with latest official snapshot, no additonal patches applied.