Don't require annotations of kwargs initialized to bool, float, int or string constants

See PR: #12918 (draft).

Feature

There should be no need for annotations for kwargs in the following (partial) function definitions:

def bool_args(ok=True, die=False)
def int_arg(i=1)
def float_arg(ratio=1.0)
def string_arg(s="Hello World")

In this example, the natural annotations are as follows:

def bool_args(ok: bool=True, die: bool=False): pass
def int_arg(i:int=1): pass
def float_arg(ratio: float=1.0): pass
def string_arg(s:str="Hello World"): pass

The issue proposes a non-trivial change to mypy's type inference. The proposal suggests that mypy act as if a natural annotation exists for an initialized kwarg. Note: mypy will (must!) check the new (natural) annotation, and mypy must complain if the natural annotation is not correct.

Pitch

At present, with disallow_untyped_defs = True and disallow_incomplete_defs = False, mypy complains that the signatures above lack annotations for the kinds of kwargs shown above. Such annotations unnecessarily clutter code. It should be possible to infer the types of the kwargs based on the obvious types of the constants!

This feature would fix my biggest gripe about mypy :-)

まずドラフト PR #12918 と、bool、int、float、string の定数で初期化されるキーワード引数に対する自然なアノテーションの issue の例を確認します。関連する型推論の動作を追跡し、推論されたアノテーションの正しさが検証されることを確認します。明示的なアノテーションなしでこれらのケースが disallow_untyped_defs を満たし、無効なデフォルト値では引き続きエラーが生成されれば完了です。