add tests that fail on main

Author: AlexWaygood

crates/ty_python_semantic/resources/mdtest/narrow/match.md

@@ -442,3 +442,22 @@ def _(x: tuple[Literal["tag1"], A] | tuple[str, B]):
             # But we *can* narrow with inequality
             reveal_type(x)  # revealed: tuple[str, B]
 ```
+
+and it is also restricted to `match` patterns that solely consist of value patterns:
+
+```py
+class Config:
+    MODE: str = "default"
+
+def _(u: tuple[Literal["foo"], int] | tuple[Literal["bar"], str]):
+    match u[0]:
+        case Config.MODE | "foo":
+            # Config.mode has type `str` (not a literal), which could match
+            # any string value at runtime. We cannot narrow based on "foo" alone
+            # because the actual match might have been against Config.mode.
+            reveal_type(u)  # revealed: tuple[Literal["foo"], int] | tuple[Literal["bar"], str]
+        case "bar":
+            # Since the previous case could match any string, this case can
+            # still narrow to `tuple[Literal["bar"], str]` when `u[0]` equals "bar".
+            reveal_type(u)  # revealed: tuple[Literal["bar"], str]
+```

crates/ty_python_semantic/resources/mdtest/typed_dict.md

@@ -2324,6 +2324,33 @@ def match_non_literal(u: Foo | NonLiteralTD):
             reveal_type(u)  # revealed: NonLiteralTD
 ```
 
+and it is also restricted to `match` patterns that solely consist of value patterns:
+
+```py
+class Config:
+    MODE: str = "default"
+
+class Foo(TypedDict):
+    tag: Literal["foo"]
+    data: int
+
+class Bar(TypedDict):
+    tag: Literal["bar"]
+    data: str
+
+def test_or_pattern_with_non_literal(u: Foo | Bar):
+    match u["tag"]:
+        case Config.MODE | "foo":
+            # Config.mode has type `str` (not a literal), which could match
+            # any string value at runtime. We cannot narrow based on "foo" alone
+            # because the actual match might have been against Config.mode.
+            reveal_type(u)  # revealed: Foo | Bar
+        case "bar":
+            # Since the previous case could match any string, this case can
+            # still narrow to `Bar` when tag equals "bar".
+            reveal_type(u)  # revealed: Bar
+```
+
 We can still narrow `Literal` tags even when non-`TypedDict` types are present in the union:
 
 ```py