http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58590
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2013-10-01
Ever confirmed|0 |1
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Consider the below. The fact that we do *not* reject it is a much smaller,
definitely non-SFINAE, but equivalent issue, IMO:
//---------------------------
struct S { int member; struct member{}; };
template<class T, class = typename T::member>
auto f(int) -> char(&)[1];
auto v = f<S>(0);
//---------------------------
