(🐞) some dunder members (`__lt__`) on `dataclass`es show signatures inconsistently in error messages

from dataclasses import dataclass
from typing import Protocol

class Proto(Protocol):
    def __lt__(self, other: object) -> None: ...


@dataclass(order=True)
class A:
    pass

a: Proto = A()

mypy output

main.py:13: error: Incompatible types in assignment (expression has type "A", variable has type "Proto")  [assignment]
main.py:13: note: Following member(s) of "A" have conflicts:
main.py:13: note:     Expected:
main.py:13: note:         def __lt__(self, object, /) -> None
main.py:13: note:     Got:
main.py:13: note:         def __lt__(other: A) -> bool

The signature of A's __lt__ is missing the self

playground

Inizia eseguendo con mypy l'esempio fornito di dataclass e Protocol per riprodurre la diagnostica. Traccia come le firme lt generate vengono rappresentate e visualizzate nella nota di incompatibilità; il lavoro è completato quando la firma del membro generato segnala self in modo coerente con la firma prevista.