Deal better with "def __init__(self)" return type

If untyped defs are disallowed, mypy requires that def __init__(self): has an explicit -> None return type, even though normally the return type is optional for __init__. This can be surprising, so it would be better for mypy to produce a special note in this case about why the return type is required even for __init__.

Another idea would be to drop the error message if using --check-untyped-defs, since the explicit return type arguably doesn't add much value.

See #5943 for context.

まず、型指定のない init メソッドについて mypy が戻り値の型の欠落をどのように報告するか、また --check-untyped-defs がその診断にどのような影響を与えるかを追跡します。意図された動作が特別な説明用注記を表示することなのか、エラーを抑制することなのかを明確にし、選択した動作を回帰テストのカバレッジで検証します。