Annotations for `__eq__`

It would be useful to have more guidance on how __eq__ methods should be annotated.

A few considerations:

• Enable type checkers to warn on non-overlapping equality comparisons. The type annotations should ideally allow type checkers to look at a check like A() == B() and verify whether it can ever return True.
• Some level of support for __eq__ returning a non-boolean (classic example: numpy arrays)
• How to think about __eq__ methods that return NotImplemented on unrecognized types versus those that throw an error

See also https://discuss.python.org/t/make-type-hints-for-eq-of-primitives-less-strict/34240

Covering this in the typing spec is important because it affects how library authors should annotate __eq__ methods in their libraries if they want all type checkers to understand these methods.

まず typing 仕様とリンクされている discuss.python.org のスレッドを読み、eq の既存の扱いを理解してください。仕様に、重ならない比較、bool 以外の戻り値、NotImplemented、およびエラーについて合意された指針が示され、ライブラリ作者が一貫して適用できるようになれば、作業は完了です。