http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54756
--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-09-29 18:33:32 UTC --- As follow up - and side note: The following constraint ensures that there is a compile-time error if one tries this with a nonpolymorphic entries. I am not sure whether we currently handle it. (From Fortran 2008:) "C1284 Any procedure referenced in a pure subprogram, including one referenced via a defined operation, defined assignment, defined input/output, or finalization, shall be pure."
