http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49638
--- Comment #2 from janus at gcc dot gnu.org 2011-07-30 16:23:25 UTC --- Note: In resolve.c there is 'check_typebound_override' which should take care of these kind of things. It already rejects overriding procedures with different result types, and it has a FIXME note for more comprehensive checking.