http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039
--- Comment #8 from Hubert Tong <hstong at ca dot ibm.com> 2013-01-20 17:50:50 UTC --- (In reply to comment #7) > That is, whether the "body" of the lambda expression is valid or not valid > is not affected by unknowns such as what types it would be instantiated with > or > what names would be found if the lookup was moved to a different context. I am referring to the case where the lambda is not inside a template declaration in the above. For the case where the lambda is in a template declaration, I believe that the properties I mentioned in comment #7 translate to the body of the lambda being within the "immediate context" of the instantiation when an instantiation of the enclosing template occurs.