TypeVars should be allowed to be the same

Two unbound TypeVars A and B can potentially be the same:

from typing import Callable, Iterable, TypeVar

A = TypeVar("A")
B = TypeVar("B")

def identity(x: A) -> A:
    return x

# ok
def _map(queue: Iterable[B], function: Callable[[B], A]) -> Iterable[A]:
    return map(function, queue)

# fails
def _map2(queue: Iterable[B], function: Callable[[B], A] = identity) -> Iterable[A]:
    return map(function, queue)

The introduced default keyword argument leads to the following unexpected error:
error: Incompatible default for argument "function" (default has type "Callable[[A], A]", argument has type "Callable[[B], A]")

I'm using mypy 0.740.

まず issue にある 2 つの _map の例を実行し、mypy が Callable[[A], A] と Callable[[B], A] をどのようにチェックするかを比較します。型変数の互換性とデフォルト引数のチェックの流れを追跡します。_map2 が受け入れられ、報告された非互換性に対するリグレッションテストがあることを完了条件とします。