removed second overload

Author: randolf-scholz

mypy/checkmember.py

@@ -1448,19 +1448,6 @@ def analyze_typeddict_access(
                 )
                 overloads.append(overload)
 
-                # We add an extra overload for the case when the given default is a subtype of the value type.
-                # This makes sure that the return type is inferred as the value type instead of a union.
-                # def (K, V) -> V
-                overload = CallableType(
-                    arg_types=[key_type, value_type],
-                    arg_kinds=[ARG_POS, ARG_POS],
-                    arg_names=[None, None],
-                    ret_type=value_type,
-                    fallback=fn_type,
-                    name=name,
-                )
-                overloads.append(overload)
-
                 # fallback: def [T](K, T) -> V | T
                 overload = CallableType(
                     variables=[tvar],

test-data/unit/check-typeddict.test

@@ -1011,7 +1011,6 @@ def test(d: D) -> None:
         "Overload(\
         def (Literal['a'], builtins.object =) -> builtins.int, \
         def (Literal['b']) -> Union[builtins.str, None], \
-        def (Literal['b'], builtins.str) -> builtins.str, \
         def [T] (Literal['b'], T`-1) -> Union[builtins.str, T`-1], \
         def (builtins.str, builtins.object =) -> builtins.object)"
 

test-data/unit/pythoneval.test

@@ -1068,10 +1068,8 @@ _testTypedDictGet.py:18: note: Revealed type is "builtins.object"
 _testTypedDictGet.py:19: error: All overload variants of "get" require at least one argument
 _testTypedDictGet.py:19: note: Possible overload variants:
 _testTypedDictGet.py:19: note:     def get(Literal['x'], /) -> Optional[int]
-_testTypedDictGet.py:19: note:     def get(Literal['x'], int, /) -> int
 _testTypedDictGet.py:19: note:     def [T] get(Literal['x'], T, /) -> Union[int, T]
 _testTypedDictGet.py:19: note:     def get(Literal['y'], /) -> Optional[str]
-_testTypedDictGet.py:19: note:     def get(Literal['y'], str, /) -> str
 _testTypedDictGet.py:19: note:     def [T] get(Literal['y'], T, /) -> Union[str, T]
 _testTypedDictGet.py:19: note:     def get(str, object = ..., /) -> object
 _testTypedDictGet.py:21: note: Revealed type is "builtins.object"