Tuple comparison does not check comparability of element types
Offen
Dieses Issue hat noch niemand übernommen.
bug
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
When comparing tuples, the comparability of the element isn't taken into account.
To Reproduce
from typing import *
class SupportsGT(Protocol):
def __gt__(self, other: Any, /) -> bool:
...
a = cast(tuple[SupportsGT, ...], ...)
b = cast(tuple[object, ...], ...)
c = a < b # no issue!
Expected Behavior
There is no matching a_elem.__lt__(b_elem) so this should fail.
Actual Behavior
No error.
Your Environment
Python 3.12
Mypy 1.19.1
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne mit der Python-3.12-Reproduktion im Issue und verfolge die Typprüfung von mypy für Tupelvergleiche. Füge einen Regressionstest hinzu, der zeigt, dass Vergleiche inkompatibler Elemente abgelehnt werden, und führe die relevante Testsuite aus, um zu bestätigen, dass der erwartete Fehler gemeldet wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 45/100