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

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.5.3
   Target Milestone|---                         |4.6.1
            Summary|[OOP] Generic ambiguity     |[4.6/4.7 Regression][OOP]
                   |check too strict for        |Generic ambiguity check too
                   |polymorphic dummies         |strict for polymorphic
                   |                            |dummies
      Known to fail|                            |4.6.0, 4.7.0

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-04-27 
13:55:00 UTC ---
It's a regression; with GCC 4.5.3 20110421 one gets the correct error:

            point = point + vector
            1
Error: Variable must not be polymorphic in assignment at (1)


While 4.6.1 20110422 and 4.7 regard 'add_vector_3d' and 'add_vector_2d' as
ambiguous. (Thus, the above diagnostic will not be reached.)