C#: Test cases that shows that lambdas can be naturally (implicitly) typed and that the type is indistinguishable from the equivalent explicitly typed declaration.

Author: michaelnebel

csharp/ql/test/library-tests/csharp10/lambda.expected

@@ -0,0 +1,5 @@
+lambdaDeclaration
+| Func<int, string> | Lambda.cs:7:27:7:28 | f1 | Lambda.cs:7:32:7:54 | (...) => ... |
+| Func<int, string> | Lambda.cs:8:13:8:14 | f2 | Lambda.cs:8:18:8:40 | (...) => ... |
+lambdaDeclarationNatural
+| Func<int, string> | Lambda.cs:8:13:8:14 | f2 | Lambda.cs:8:18:8:40 | (...) => ... |

csharp/ql/test/library-tests/csharp10/lambda.ql

@@ -0,0 +1,17 @@
+import csharp
+
+private predicate getLambda(
+  LocalVariableDeclAndInitExpr e, string type, LocalVariable v, LambdaExpr lexp
+) {
+  lexp = e.getRValue() and
+  v = e.getTargetVariable() and
+  type = e.getType().toStringWithTypes()
+}
+
+query predicate lambdaDeclaration(string type, LocalVariable v, LambdaExpr lexp) {
+  getLambda(_, type, v, lexp)
+}
+
+query predicate lambdaDeclarationNatural(string type, LocalVariable v, LambdaExpr lexp) {
+  exists(LocalVariableDeclAndInitExpr e | getLambda(e, type, v, lexp) and e.isImplicitlyTyped())
+}