remove more @finals + improve tests

Author: ikonst

test-data/unit/check-typeddict.test

@@ -2035,25 +2035,28 @@ else:
 [typing fixtures/typing-typeddict.pyi]
 
 [case testOperatorContainsNarrowsTypedDicts_total]
+# flags: --warn-unreachable
 from __future__ import annotations
 from typing import assert_type, Literal, TypedDict, TypeVar, Union
-from typing_extensions import final
 
 class D1(TypedDict):
     foo: int
 
-
 class D2(TypedDict):
     bar: int
 
-
 d: D1 | D2
 
 if 'foo' in d:
     assert_type(d, D1)
 else:
     assert_type(d, D2)
 
+if 'unknown_key' in d:
+    object()  # E: Statement is unreachable
+else:
+    assert_type(d, Union[D1, D2])
+
 foo_or_bar: Literal['foo', 'bar']
 if foo_or_bar in d:
     assert_type(d, Union[D1, D2])
@@ -2079,25 +2082,20 @@ def f(arg: TD) -> None:
     else:
         assert_type(arg['bar'], int)
 
-
 [builtins fixtures/dict.pyi]
 [typing fixtures/typing-typeddict.pyi]
 
-[case testOperatorContainsNarrowsTypedDicts_partialThroughTotalFalse]
+[case testOperatorContainsNarrowsTypedDicts_totalFalse]
+# flags: --warn-unreachable
 from __future__ import annotations
 from typing import assert_type, Literal, TypedDict, Union
-from typing_extensions import final
 
-@final
 class DTotal(TypedDict):
     required_key: int
 
-
-@final
 class DNotTotal(TypedDict, total=False):
     optional_key: int
 
-
 d: DTotal | DNotTotal
 
 if 'required_key' in d:
@@ -2110,6 +2108,11 @@ if 'optional_key' in d:
 else:
     assert_type(d, Union[DTotal, DNotTotal])
 
+if 'unknown_key' in d:
+    object()  # E: Statement is unreachable
+else:
+    assert_type(d, Union[DTotal, DNotTotal])
+
 key: Literal['optional_key', 'required_key']
 if key in d:
     assert_type(d, Union[DTotal, DNotTotal])
@@ -2119,23 +2122,19 @@ else:
 [builtins fixtures/dict.pyi]
 [typing fixtures/typing-typeddict.pyi]
 
-[case testOperatorContainsNarrowsTypedDicts_partialThroughNotRequired]
+[case testOperatorContainsNarrowsTypedDicts_NotRequired]
+# flags: --warn-unreachable
 from __future__ import annotations
 from typing import assert_type, Required, NotRequired, TypedDict, Union
-from typing_extensions import final
 
-@final
 class D1(TypedDict):
     required_key: Required[int]
     optional_key: NotRequired[int]
 
-
-@final
 class D2(TypedDict):
     abc: int
     xyz: int
 
-
 d: D1 | D2
 
 if 'required_key' in d:
@@ -2148,6 +2147,11 @@ if 'optional_key' in d:
 else:
     assert_type(d, Union[D1, D2])
 
+if 'unknown_key' in d:
+    object()  # E: Statement is unreachable
+else:
+    assert_type(d, Union[D1, D2])
+
 [builtins fixtures/dict.pyi]
 [typing fixtures/typing-typeddict.pyi]