Allow lambda exprs without captures to coerce to `functype`. (#7129)

1 files changed, 4 insertions, 2 deletions

diff --git a/source/slang/slang-check-expr.cpp b/source/slang/slang-check-expr.cpp
index 41f945763..ad36a7e4a 100644
--- a/source/slang/slang-check-expr.cpp
+++ b/source/slang/slang-check-expr.cpp
@@ -2887,6 +2887,7 @@ Expr* SemanticsVisitor::CheckInvokeExprWithCheckedOperands(InvokeExpr* expr)
             }
         }
     }
+    rs->checked = true;
     return rs;
 }
 
@@ -4209,9 +4210,9 @@ Expr* SemanticsExprVisitor::visitLambdaExpr(LambdaExpr* lambdaExpr)
     if (m_parentFunc)
     {
         nameBuilder << getText(m_parentFunc->getName());
+        nameBuilder << "_";
+        nameBuilder << m_parentFunc->members.getCount();
     }
-    nameBuilder << "_";
-    nameBuilder << m_parentFunc->members.getCount();
     auto name = getName(nameBuilder.getBuffer());
     lambdaStructDecl->nameAndLoc.name = name;
     lambdaStructDecl->nameAndLoc.loc = lambdaExpr->loc;
@@ -4283,6 +4284,7 @@ Expr* SemanticsExprVisitor::visitLambdaExpr(LambdaExpr* lambdaExpr)
     auto resultLambdaObj = synthesizer.emitCtorInvokeExpr(
         synthesizer.emitStaticTypeExpr(DeclRefType::create(m_astBuilder, lambdaStructDecl)),
         _Move(args));
+    resultLambdaObj->loc = lambdaExpr->loc;
     auto checkedResultExpr = dispatchExpr(resultLambdaObj, *this);
     return checkedResultExpr;
 }