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

Start by running the provided dataclass and Protocol example with mypy to reproduce the diagnostic. Trace how generated lt signatures are represented and rendered in the incompatibility note; done when the generated member signature reports self consistently with the expected signature.