diff --git a/analyzers/tests/SonarAnalyzer.Test/TestCases/SymbolicExecution/Roslyn/PublicMethodArgumentsShouldBeCheckedForNull.cs b/analyzers/tests/SonarAnalyzer.Test/TestCases/SymbolicExecution/Roslyn/PublicMethodArgumentsShouldBeCheckedForNull.cs
index cfa79a73df5..98fa78ee028 100644
--- a/analyzers/tests/SonarAnalyzer.Test/TestCases/SymbolicExecution/Roslyn/PublicMethodArgumentsShouldBeCheckedForNull.cs
+++ b/analyzers/tests/SonarAnalyzer.Test/TestCases/SymbolicExecution/Roslyn/PublicMethodArgumentsShouldBeCheckedForNull.cs
@@ -861,3 +861,12 @@ public void Method(object @event)
         @event.ToString(); // Noncompliant {{Refactor this method to add validation of parameter '@event' before using it.}}
     }
 }
+
+// https://github.com/SonarSource/sonar-dotnet/issues/9500
+public class Repro_9500
+{
+    void Method(List<int> list)
+    {
+        _ = list.Where(x => true);  // FN
+    }
+}