Skip to content

PEP 718: Specify binding, parametrisation and overload interactions #4649

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Gobot1234 wants to merge 5 commits into
base: main
Choose a base branch
from
+50 −4
Open

PEP 718: Specify binding, parametrisation and overload interactions #4649

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
a33030f
hopefully final round of changes
Gobot1234 Oct 8, 2025
475bd8e
I think fix the build issues?
Gobot1234 Oct 8, 2025
bd36a62
Fix title too short
Gobot1234 Oct 8, 2025
1ba67e9
fix some grammar typos and build
Gobot1234 Oct 8, 2025
4d33729
Update peps/pep-0718.rst
Gobot1234 Oct 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
I think fix the build issues? 
Sorry I can't test I can't get make installed
  • Loading branch information
@Gobot1234
Gobot1234 committed Oct 8, 2025
commit 475bd8ee430c19d0f989870b23974ae0a6077877
8 changes: 4 additions & 4 deletions peps/pep-0718.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -234,10 +234,10 @@ Explicit specialisation will restrict the set of available overloads
reveal_type(make[int](1)) # type is int
reveal_type(make[int]("foo", "bar")) # Invalid: no overload for `make[int](x:str, y: str)` found, a similar overload exists but explicit specialisation prevented its use

Functions Parameterized by ``TypeVarTuple``s
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Currently type checkers disallow the use of multiple ``TypeVarTuple``s in it's generic
parameters, however it is currently valid to have a function as such
Functions Parameterized by ``TypeVarTuple``\ s
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Currently type checkers disallow the use of multiple ``TypeVarTuple`` \s in it's
generic parameters, however it is currently valid to have a function as such

.. code-block:: python

Expand Down
Loading