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.

Bắt đầu bằng cách lần theo cách mypy báo cáo kiểu trả về bị thiếu đối với các phương thức init không được khai báo kiểu và cách --check-untyped-defs ảnh hưởng đến chẩn đoán đó. Xác định liệu hành vi dự kiến là đưa ra một ghi chú giải thích đặc biệt hay suppress lỗi, sau đó xác minh hành vi đã chọn bằng độ bao phủ hồi quy.