update conformance test sources

Summary:
I made a fix to the conformance tests, so I'm pulling in the latest changes and regenerating the outputs.

python/typing#1959

This also pulled in the new overload conformance tests.

Reviewed By: ndmitchell

Differential Revision: D72514863

fbshipit-source-id: 5a06f65d3738a2152ae864122c9c9b5691570b16

Author: yangdanny97

conformance/third_party/_qualifiers_final_annotation_1.py

@@ -0,0 +1,7 @@
+"""
+Used as part of the test for the typing.Final special form.
+"""
+
+from typing import Final
+
+TEN: Final[int] = 10

conformance/third_party/_qualifiers_final_annotation_2.py

@@ -0,0 +1,7 @@
+"""
+Used as part of the test for the typing.Final special form.
+"""
+
+from typing import Final
+
+PI: Final = 3.14

conformance/third_party/aliases_type_statement.py

@@ -48,10 +48,8 @@ def func2(x: object):
 type BadTypeAlias12 = list or set  # E
 type BadTypeAlias13 = f"{'int'}"  # E
 
-if 1 < 2:
-    type BadTypeAlias14 = int  # E: redeclared
-else:
-    type BadTypeAlias14 = int
+type BadTypeAlias14 = int  # E[TA14]: redeclared
+type BadTypeAlias14 = int  # E[TA14]: redeclared
 
 
 def func3():
@@ -87,5 +85,5 @@ def func3():
 
 type RecursiveTypeAlias5[T] = T | list[RecursiveTypeAlias5[T]]
 
-type RecursiveTypeAlias6 = RecursiveTypeAlias7 # E: circular definition
-type RecursiveTypeAlias7 = RecursiveTypeAlias6
+type RecursiveTypeAlias6 = RecursiveTypeAlias7  # E[RTA6]: circular definition
+type RecursiveTypeAlias7 = RecursiveTypeAlias6  # E[RTA6]: circular definition

conformance/third_party/annotations_coroutines.py

@@ -16,7 +16,10 @@ async def func1(ignored: int, /) -> str:
     return "spam"
 
 
-assert_type(func1, Callable[[int], Coroutine[Any, Any, str]])
+# Don't use assert_type here because some type checkers infer
+# the narrower type types.CoroutineType rather than typing.Coroutine
+# in this case.
+v1: Callable[[int], Coroutine[Any, Any, str]] = func1
 
 
 async def func2() -> None:

conformance/third_party/annotations_generators.py

@@ -179,7 +179,10 @@ async def generator29() -> AsyncIterator[int]:
     raise NotImplementedError
 
 
-assert_type(generator29, Callable[[], Coroutine[Any, Any, AsyncIterator[int]]])
+# Don't use assert_type here because some type checkers infer
+# the narrower type types.CoroutineType rather than typing.Coroutine
+# in this case.
+v1: Callable[[], Coroutine[Any, Any, AsyncIterator[int]]] = generator29
 
 
 async def generator30() -> AsyncIterator[int]:

conformance/third_party/callables_kwargs.py

@@ -121,3 +121,14 @@ def func5(v1: int, **kwargs: Unpack[TD2]) -> None:  # E: parameter v1 overlaps w
 
 def func6(**kwargs: Unpack[T]) -> None:  # E: unpacked value must be a TypedDict, not a TypeVar bound to TypedDict.
     ...
+
+# > The situation where the destination callable contains **kwargs: Unpack[TypedDict] and
+# > the source callable doesn’t contain **kwargs should be disallowed. This is because,
+# > we cannot be sure that additional keyword arguments are not being passed in when an instance of a subclass
+# > had been assigned to a variable with a base class type and then unpacked in the destination callable invocation
+
+def func7(*, v1: int, v3: str, v2: str = "") -> None:
+    ...
+
+
+v7: TDProtocol6 = func7  # E: source does not have kwargs

conformance/third_party/classes_override.py

@@ -49,8 +49,8 @@ def method2(self, x: str) -> str:
     def method2(self, x: int | str) -> int | str:  # OK
         return 0
 
-    @override
-    def method3(self) -> int:  # E: no matching signature in ancestor
+    @override  # E[method3]
+    def method3(self) -> int:  # E[method3]: no matching signature in ancestor
         return 1
 
     @overload  # E[method4]
@@ -61,7 +61,7 @@ def method4(self, x: int) -> int:
     def method4(self, x: str) -> str:
         ...
 
-    @override
+    @override  # E[method4]
     def method4(self, x: int | str) -> int | str:  # E[method4]: no matching signature in ancestor
         return 0
 
@@ -75,18 +75,18 @@ def method5(self):  # OK
     # > only normal methods but also @property, @staticmethod, and @classmethod.
 
     @staticmethod
-    @override
-    def static_method1() -> int:  # E: no matching signature in ancestor
+    @override  # E[static_method1]
+    def static_method1() -> int:  # E[static_method1]: no matching signature in ancestor
         return 1
 
     @classmethod
-    @override
-    def class_method1(cls) -> int:  # E: no matching signature in ancestor
+    @override  # E[class_method1]
+    def class_method1(cls) -> int:  # E[class_method1]: no matching signature in ancestor
         return 1
 
     @property
-    @override
-    def property1(self) -> int:  # E: no matching signature in ancestor
+    @override  # E[property1]
+    def property1(self) -> int:  # E[property1]: no matching signature in ancestor
         return 1