http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039
--- Comment #6 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2013-01-20 12:27:20 UTC --- (In reply to comment #0) > The code uses C++11 lambda expressions in a constant expression context for > the SFINAE. As far as I can tell, SFINAE should apply since the lambda occurs > lexically within the immediate context for the substitution. I wonder why you think this would belong to the "immediate context". Actually it seems to me as if the instantiation of the body of a lambda expression is similarly non-immediate as the instantiation of a class template.