https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107000
--- Comment #19 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to anlauf from comment #17) > (In reply to anlauf from comment #16) > > Created attachment 53651 [details] > > Revised patch > > Unfortunately this regresses on gfortran.dg/pr91552.f90, e.g. > > print *, 2 * [real :: 1, [2], 3] Yes, verify_types misses a call to itself for every element that is an array. I think we should not reject all mismatching types, because there is a call to gfc_type_convert_binary further down that is able to handle conversions on numeric types. Basically all numeric types, even if mismatching, should work. That's the second solution.