Hi all, the attached patch fixes PR 86116 by splitting up the function 'compare_type' into two variants: One that is used for checking generic interfaces and operators (keeping the old name), and one that is used for checking dummy functions and procedure pointer assignments ('compare_type_characteristics'). The latter calls the former, but includes an additional check that must not be done when checking generics. Regtests cleanly on x86_64-linux-gnu. Ok for trunk? Cheers, Janus 2018-08-05 Janus Weil PR fortran/86116 * interface.c (compare_type): Remove a CLASS/TYPE check. (compare_type_characteristics): New function that behaves like the old 'compare_type'. (gfc_check_dummy_characteristics, gfc_check_result_characteristics): Call 'compare_type_characteristics' instead of 'compare_type'. 2018-08-05 Janus Weil PR fortran/86116 * gfortran.dg/generic_34.f90: New test case.