[Bug c++/14337] [3.4/3.5 Regression] function overload rules don't handle the caller as a template

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-28 22:53 -------
I think this should be accepted as Constraint<!IsGood<Type_>::value, void>::Result should have been 
rejected as a valid type but I am no real expert at this part of c++.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
           Keywords|                            |rejects-valid
      Known to fail|                            |3.4.0 3.5.0
      Known to work|                            |3.3.1
            Summary|function overload rules     |[3.4/3.5 Regression]
                   |don't handle the caller as a|function overload rules
                   |template                    |don't handle the caller as a
                   |                            |template
   Target Milestone|---                         |3.4.0


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