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

1 files changed, 19 insertions, 0 deletions

diff --git a/tests/language-feature/lambda/coerce-failure.slang b/tests/language-feature/lambda/coerce-failure.slang
new file mode 100644
index 000000000..a5286611c
--- /dev/null
+++ b/tests/language-feature/lambda/coerce-failure.slang
@@ -0,0 +1,19 @@
+//TEST:SIMPLE(filecheck=CHECK): -target spirv
+
+
+func test(f: functype(int, int)->float) -> float
+{
+    return f(2,3) + 10.0f;
+}
+
+
+[numthreads(1,1,1)]
+void computeMain()
+{
+    int c = 2;
+    // CHECK: ([[# @LINE+1]]): error 30019
+    let result = test((int x, int y)=> x + y + c);
+
+    // CHECK: ([[# @LINE+1]]): error 30019
+    let result1 = test((int x, float y) => x + y);
+}
\ No newline at end of file