[Bug c++/11859] Substitution failure incorrectly reported as error in SFINAE situation.

[gccbugs at contacts dot eelis dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From gccbugs at contacts dot eelis dot net  2003-08-09 03:28 -------
Simplification:

The f function template can be replaced by:

template <typename T> T f ();

Resolving T::x is not the problem after all; the mere incompatibility between
f<>'s signature and how f is called causes the failure that should lead to
selection of the second g() instead of being reported as an error (according to
Comeau). The T in the signature does seem to be essential.