(🐞) 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

Empieza ejecutando con mypy el ejemplo proporcionado de dataclass y Protocol para reproducir el diagnóstico. Traza cómo se representan y muestran las firmas lt generadas en la nota de incompatibilidad; estará terminado cuando la firma del miembro generado informe de self de forma coherente con la firma esperada.