Add reproducer for #8149

analyzers/tests/SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/ConditionEvaluatesToConstant.CSharp8.cs

@@ -510,3 +510,34 @@ public void TestMethod()
 
     private void Callback() { }
 }
+
+// https://github.com/SonarSource/sonar-dotnet/issues/8149
+public class Repro_8149
+{
+    enum UserType
+    {
+        Internal,
+        External,
+        Other
+    }
+
+    interface IUser
+    {
+        int Id { get; }
+        string LoginName { get; }
+        UserType UserType { get; }
+    }
+
+    static void Check_SwitchExpression(IUser user)
+    {
+        if (user.UserType switch                    // Noncompliant FP, always false
+        {
+            UserType.Internal => user.Id == 1,
+            UserType.External => user.LoginName == "test",
+            _ => false,
+        })
+            return;
+
+        throw new ApplicationException("not authorized");
+    }
+}