Allow reflection of local entities that aren't init-captures.

Author: katzdm

clang/include/clang/Basic/DiagnosticSemaKinds.td

@@ -3153,7 +3153,7 @@ def err_reflect_overload_set : Error<
 def err_reflect_nttp : Error<
   "cannot take the reflection of a non-type template parameter">;
 def err_reflect_init_capture : Error<
-  "cannot take the reflection of a captured local entity">;
+  "cannot take the reflection of a local entity declared by init-capture">;
 def err_template_arg_bad_reflection_kind : Error<
   "reflection of this kind cannot appear as a template argument">;
 def err_reflect_dependent_splice : Error<

clang/lib/Sema/SemaReflect.cpp

@@ -816,8 +816,7 @@ ExprResult Sema::ActOnCXXReflectExpr(SourceLocation OpLoc,
     return BuildCXXReflectExpr(OpLoc, NameInfo.getBeginLoc(), ND);
 
   if (auto *VD = dyn_cast<VarDecl>(ND);
-      VD && (VD->isInitCapture() ||
-             NeedToCaptureVariable(VD, Id.StartLocation))) {
+      VD && (VD->isInitCapture())) {
     Diag(Id.StartLocation, diag::err_reflect_init_capture)
         << Id.getSourceRange();
     return ExprError();

clang/test/Reflection/lift-operator.cpp

@@ -166,6 +166,19 @@ consteval int fn(decltype(^^::) x = ^^x) { return 0; }
 constexpr int x = fn();
 }  // namspace self_reference
 
+                               // ==============
+                               // lambda_capture
+                               // ==============
+
+namespace lambda_capture {
+void fn() {
+  int x;
+  [=]<auto r> {
+    static_assert(^^x == r);
+  }.operator()<^^x>();
+}
+}  // namespace lambda_capture
+
                    // =======================================
                    // bb_clang_p2996_issue_35_regression_test
                    // =======================================