Repository navigation
Spec change: clarify that assert_type() uses equivalence #45
Description
Please consider the proposed spec change in python/typing#2011. It specifies that assert_type() uses equivalence, but type checkers are allowed to have an incomplete implementation that rejects some equivalent types. Discussion in https://discuss.python.org/t/specify-that-assert-type-checks-for-equivalence/92967
Signoff:
- Carl
- Eric
- Jelle
- Jukka
- Rebecca
Activity
gvanrossum commentedon Jun 29, 2025
Just a linguistic nit: the subject is unclear to me — does it describe an existing condition that’s undesirable, or a desirable improvement, or something else?
JelleZijlstra commentedon Jun 29, 2025
I see it as a clarification of the spec: the current wording in the spec is not clear about how assert_type() behaves; my proposed change makes it more precise.
gvanrossum commentedon Jun 29, 2025
Cool! If it was my issue I’d work “clarify” in the title somehow. :-)
[-]Spec change: assert_type() uses equivalence[/-][+]Spec change: clarify that assert_type() uses equivalence[/+]rchen152 commentedon Oct 14, 2025
Accepted, thanks!