http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55159
--- Comment #4 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-11-02 08:10:14 UTC --- (In reply to comment #3) > But it seems that gcc doesn't ignore the const (in "const T*" or "const > auto*") > for functions here, which seems to be the root of the second problem (This is > *not* attempting to form a function with cv-qualifier-seq). I withdraw my interpretation that it is *clear* here that during template argument deduction we can successfully match a "const T" with a function type. This looks like a core language problem to me and I'll notify CWG in regard to this.