https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64244
--- Comment #3 from janus at gcc dot gnu.org --- (In reply to Dominique d'Humieres from comment #1) > Likely r181107 for pr50919. Yes, this commit (authored by myself) is definitely the culprit here. The nontriviality in the given test case is that we have to deal with a generic type-bound call, which is being resolved to a non-overridable type-bound call. 'resolve_typebound_generic_call' should probably communicate to its caller that the specific procedure it found is not overridable.