c++/8503: strange behaviour of function types.

[john_maddock@compuserve.com]

>Number:         8503
>Category:       c++
>Synopsis:       strange behaviour of function types.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Nov 08 04:46:03 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     John Maddock
>Release:        gcc-3.2
>Organization:
>Environment:
Suse Linux 7.0
>Description:
The example code attached behaves strangely with function types, basically template argument deduction finds cv-qualified reference or pointer to function overloads, rather than the non-cv qualified version. Since cv-qualifiers are illegal on function types this is particular annoying (in fact gcc emits a warning about this).  template partial specializations behave in the same way - and this is currently causing a problem for boost's type traits code.
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: