Merge branch 'main' into update-generics-pep695

Author: BHUVANSH855

conformance/README.md

@@ -81,7 +81,7 @@ Note that some type checkers may not run on some platforms. If a type checker fa
 
 Different type checkers report errors in different ways (with different wording in error messages and different line numbers or character ranges for errors). This variation makes it difficult to fully automate test validation given that tests will want to check for both false positive and false negative type errors. Some level of manual inspection will therefore be needed to determine whether a type checker is fully conformant with all tests in any given test file. This "scoring" process is required only when the output of a test changes — e.g. when a new version of that type checker is released and the tests are rerun. We assume that the output of a type checker will be the same from one run to the next unless/until a new version is released that fixes or introduces a bug. In this case, the output will need to be manually inspected and the conformance results re-scored for those tests whose output has changed.
 
-Conformance results are reported and summarized for each supported type checker. Currently, results are reported for mypy, pyrefly, pyright, zuban and ty. It is the goal and desire to add additional type checkers over time.
+[Conformance results](https://htmlpreview.github.io/?https://github.com/python/typing/blob/main/conformance/results/results.html) are reported and summarized for each supported type checker. Currently, results are reported for mypy, pyrefly, pyright, zuban and ty. It is the goal and desire to add additional type checkers over time.
 
 ## Adding a New Test Case
 

conformance/tests/constructors_call_metaclass.py

@@ -43,7 +43,7 @@ def __new__(cls, x: int) -> Self:
 
 class Meta3(type):
     def __call__(cls: type[T], *args, **kwargs) -> T:
-        return super().__call__(cls, *args, **kwargs)
+        return super().__call__(*args, **kwargs)
 
 
 class Class3(metaclass=Meta3):
@@ -57,7 +57,7 @@ def __new__(cls, x: int) -> Self:
 
 class Meta4(type):
     def __call__(cls, *args, **kwargs):
-        return super().__call__(cls, *args, **kwargs)
+        return super().__call__(*args, **kwargs)
 
 
 class Class4(metaclass=Meta4):

docs/Makefile

@@ -29,7 +29,7 @@ build:
 html: BUILDER = html
 html: build
 	@echo "Build finished. The HTML pages are in build/html."
-	@echo "file://$(shell pwd)/build/html"
+	@echo "file://$(shell pwd)/build/html/index.html"
 	@echo
 
 text: BUILDER = text

docs/index.rst

@@ -57,6 +57,15 @@ Specification
 
    spec/index
 
+
+Typing PEPs
+-----------
+
+Significant changes to the Python Type System Specification are proposed and
+discussed in Python Enhancement Proposals (PEPs). See
+https://peps.python.org/topic/typing for a list of all current and historical
+typing-related PEPs.
+
 Indices and tables
 ==================
 
@@ -85,6 +94,10 @@ Type Checkers
 * `ty <https://docs.astral.sh/ty/>`_
 * `Zuban <https://docs.zubanls.com/en/latest/>`_
 
+The extent to which these adhere to the specification is monitored by a
+`conformance test suite <https://github.com/python/typing/tree/main/conformance>`_
+(`results <https://htmlpreview.github.io/?https://github.com/python/typing/blob/main/conformance/results/results.html>`_).
+
 Development Environments
 ------------------------
 
@@ -116,8 +129,3 @@ Type-Hint and Stub Integration
   a thin wrapper around ``ApplyTypeAnnotationsVisitor`` from
   `libCST <https://libcst.readthedocs.io/en/latest/>`_ that integrates .pyi
   signatures as inline type-hints in Python source code.
-
-Typing PEPs
-===========
-
-See https://peps.python.org/topic/typing for a list of all typing-related PEPs.