[Bug fortran/50517] gfortran must detect that actual argument type is different from dummy argument type (r178939)

[janus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50517

--- Comment #3 from janus at gcc dot gnu.org 2011-09-26 08:45:49 UTC ---
(In reply to comment #1)
> Could you explain why you assume that this is invalid? I would say it is valid
> at least in F95, see Fortran 95 standard, chapter 4.4.2, "Determination of
> derived types". 

However, this only applies to types in different namespaces. If they are in the
same namespace, the type symbols themselves must be equal. In consequence, I
agree that the test case in comment #0 is invalid.