[Bug fortran/48786] [OOP] Generic ambiguity check too strict for polymorphic dummies

[tkoenig at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48786

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tkoenig at gcc dot gnu.org
             Status|NEW                         |WAITING

--- Comment #15 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
nagfor rejects the original example program with

Error: 48786.f90, line 56: Ambiguous specific type-bound procedures
ADD_VECTOR_3DVERSION and ADD_VECTOR for type-bound generic OPERATOR(+) in type
POINT2D
Errors in declarations, no further processing for POINTS2D3D

xlf also rejects this, with another error message:

"48786.f90", line 19.51: 1514-699 (S) Procedure "add_vector_3d" must have a
nonoptional dummy argument that corresponds by position in the argument list to
a dummy argument not present in procedure "add_vector_2d", present and type
incompatible, present with different kind type parameters, or present with a
different rank.

So, is the test case really valid?