http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53788
--- Comment #5 from exa7z at live dot com 2012-06-28 17:42:48 UTC --- > > Therefore, SFINAE cannot even take place because of that, T is the anchor > keeping the ship from sailing *when* a compiler does *not* make a distinction > between dependent and non-dependent type names in this case. > [edit] Therefore, SFINAE cannot even take place because of that, T is the anchor keeping the ship from sailing *when* a compiler *does* make a *correct* distinction between dependent and non-dependent type names in this case. [/edit]