http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
--- Comment #9 from Jonathan Wakely 2011-03-14
18:10:19 UTC ---
here's one even closer to what we actually have in the library, where the
default template argument R involves the deduced type A as well:
template T declval();
struct tuple { };
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
--- Comment #8 from Jonathan Wakely 2011-03-14
18:03:52 UTC ---
(In reply to comment #7)
> Currently Bind::f() volatile gives an error during overload resolution but the
> other overload doesn't. Will your fix make both fail?
brain really not f
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
--- Comment #7 from Jonathan Wakely 2011-03-14
18:01:51 UTC ---
Doh, yes I got carried away reducing it and made it no longer a template
function, so of course SFINAE doesn't apply - sorry!
Should it apply in the case below?
template T declval(
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
--- Comment #6 from Paolo Carlini 2011-03-14
17:55:53 UTC ---
I suspect Jon reduced the testcase a bit too much, because we have been through
this kind of discussion/misunderstanding already, indeed normally we have only
function *templates* in t
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
Jason Merrill changed:
What|Removed |Added
Status|ASSIGNED|NEW
AssignedTo|jason at gcc dot g
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
Jason Merrill changed:
What|Removed |Added
Status|NEW |ASSIGNED
AssignedTo|unassigned at
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
Jonathan Wakely changed:
What|Removed |Added
CC||jason at gcc dot gnu.org
--- Comment #3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48113
Richard Guenther changed:
What|Removed |Added
Target Milestone|--- |4.6.0
Summary|[4.6 Regressi