Skip to content
This repository has been archived by the owner on Dec 11, 2023. It is now read-only.

Upper bound example prescribes using join instead of union #4

Closed
JelleZijlstra opened this issue Sep 22, 2023 · 1 comment
Closed
Labels
wait-for-council Issues that should not be addressed until the Typing Council exists

Comments

@JelleZijlstra
Copy link
Owner

The last example in https://peps.python.org/pep-0484/#type-variables-with-an-upper-bound (which is currently in the spec) seems to prescribe using a join instead of a union (cf. https://github.com/python/mypy/issues?q=is%3Aopen+is%3Aissue+label%3Atopic-join-v-union). I think this should be left up to individual type checkers.

@JelleZijlstra JelleZijlstra added the wait-for-council Issues that should not be addressed until the Typing Council exists label Sep 22, 2023
@JelleZijlstra
Copy link
Owner Author

python/typing#1538

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
wait-for-council Issues that should not be addressed until the Typing Council exists
Projects
None yet
Development

No branches or pull requests

1 participant