------- Comment #4 from jason at gcc dot gnu dot org 2009-11-21 22:08 -------
Actually, the decltype variant isn't a SFINAE issue either; SFINAE only applies
to function templates because it's part of deduction. For a simpler example:
template <class T>
struct A
{
void f (T::type);
};
A<int> a;
This is ill-formed, we don't discard f from A<int>.
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42132
