github
diff --git a/Collapse file
‎csharp/ql/lib/Linq/Helpers.qll‎
Copy file name to clipboardExpand all lines: csharp/ql/lib/Linq/Helpers.qll
+5-3Lines changed: 5 additions & 3 deletions b/Collapse file
‎csharp/ql/lib/Linq/Helpers.qll‎
Copy file name to clipboardExpand all lines: csharp/ql/lib/Linq/Helpers.qll
+5-3Lines changed: 5 additions & 3 deletions
diff --git a/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/MissedSelectOpportunity.cs‎
Copy file name to clipboard
+32Lines changed: 32 additions & 0 deletions b/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/MissedSelectOpportunity.cs‎
Copy file name to clipboard
+32Lines changed: 32 additions & 0 deletions
diff --git a/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/MissedSelectOpportunity.expected‎
Copy file name to clipboard
+1Lines changed: 1 addition & 0 deletions b/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/MissedSelectOpportunity.expected‎
Copy file name to clipboard
+1Lines changed: 1 addition & 0 deletions
diff --git a/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/MissedSelectOpportunity.qlref‎
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions b/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/MissedSelectOpportunity.qlref‎
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions
diff --git a/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/options‎
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions b/Collapse file
‎csharp/ql/test/query-tests/Linq/MissedSelectOpportunity/options‎
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions
@@ -121,15 +121,17 @@ predicate missedOfTypeOpportunity(ForeachStmtEnumerable fes, LocalVariableDeclSt
 /**
  * Holds if `foreach` statement `fes` can be converted to a `.Select()` call.
  * That is, the loop variable is accessed only in the first statement of the
- * block, the access is not a cast, and the first statement is a
- * local variable declaration statement `s`.
+ * block, the access is not a cast, the first statement is a
+ * local variable declaration statement `s`, and the initializer does not
+ * contain an `await` expression (since `Select` does not support async lambdas).
  */
 predicate missedSelectOpportunity(ForeachStmtGenericEnumerable fes, LocalVariableDeclStmt s) {
   s = firstStmt(fes) and
   forex(VariableAccess va | va = fes.getVariable().getAnAccess() |
     va = s.getAVariableDeclExpr().getAChildExpr*()
   ) and
-  not s.getAVariableDeclExpr().getInitializer() instanceof Cast
+  not s.getAVariableDeclExpr().getInitializer() instanceof Cast and
+  not s.getAVariableDeclExpr().getInitializer().getAChildExpr*() instanceof AwaitExpr
 }
 
 /**
 
@@ -0,0 +1,32 @@
+using System;
+using System.Linq;
+using System.Collections.Generic;
+using System.Threading.Tasks;
+
+class MissedSelectOpportunity
+{
+    public void M1(List<int> lst)
+    {
+        // BAD: Can be replaced with lst.Select(i => i * i)
+        foreach (int i in lst)
+        {
+            int j = i * i;
+            Console.WriteLine(j);
+        } // $ Alert
+    }
+
+    public async Task M2(IEnumerable<ICounter> counters)
+    {
+        // GOOD: Cannot use Select because the initializer contains an await expression
+        foreach (var counter in counters)
+        {
+            var count = await counter.CountAsync();
+            Console.WriteLine(count);
+        }
+    }
+
+    public interface ICounter
+    {
+        Task<int> CountAsync();
+    }
+}
@@ -0,0 +1 @@
+| MissedSelectOpportunity.cs:11:9:15:9 | foreach (... ... in ...) ... | This foreach loop immediately $@ - consider mapping the sequence explicitly using '.Select(...)'. | MissedSelectOpportunity.cs:13:13:13:26 | ... ...; | maps its iteration variable to another variable |
@@ -0,0 +1,2 @@
+query: Linq/MissedSelectOpportunity.ql
+postprocess: utils/test/InlineExpectationsTestQuery.ql
@@ -0,0 +1,2 @@
+semmle-extractor-options: /nostdlib /noconfig
+semmle-extractor-options: --load-sources-from-project:${testdir}/../../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+\| MissedSelectOpportunity.cs:11:9:15:9 \| foreach (... ... in ...) ... \| This foreach loop immediately $@ - consider mapping the sequence explicitly using '.Select(...)'. \| MissedSelectOpportunity.cs:13:13:13:26 \| ... ...; \| maps its iteration variable to another variable \|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+query: Linq/MissedSelectOpportunity.ql`
	`2`	`+postprocess: utils/test/InlineExpectationsTestQuery.ql`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+semmle-extractor-options: /nostdlib /noconfig`
	`2`	`+semmle-extractor-options: --load-sources-from-project:${testdir}/../../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj`