https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78640
--- Comment #3 from Stefano Zaghi <stefano.zaghi at cnr dot it> --- Yes, I am one who think that respecting this constrain is important: I was not aware that standard does not allow pure polymorphic functions, thus I mislead myself from the fact that the compiler did bot complain about this violation. My best regards. An enthusiast.