(🐞) Call to function decorated with a `Callable` causes inner function to fail to infer type of variable

from typing import Any, Callable, TypeVar, _T as T

def bar() -> None:
    def inner() -> None:
        it.encode()  # error: Cannot determine type of 'it'
    breaks()
    it = ""
    
deco: Callable[[T], T]

@deco
def breaks() -> None: ...

It appears that the order of the function declarations affects the result(:trollface:):

from typing import Any, Callable, TypeVar

T = TypeVar("T")

deco: Callable[[T], T]

@deco
def doesnt_break() -> None: ...

def bar() -> None:
    def inner() -> None:
        it.encode()  # no error
    doesnt_break()
    it = ""

I have determined that this only happens when the deco is a Callable, when it is a function there is no error:

from typing import Any, TypeVar, _T as T

def bar() -> None:
    def inner() -> None:
        it.encode()  # no error
    doesnt_break()
    it = ""
    
def deco(fn: T) -> T: ...

@deco
def doesnt_break() -> None: ...

playground

まず issue にある 2 つの Python の再現コードを実行するか、リンクされている playground を使用し、Callable ベースのデコレーションと関数ベースのデコレータを比較します。ネストされた内部関数とデコレータ呼び出しの型推論パスを追跡します。完了の条件は、すでに通過している例を退行させることなく、最初の例が str として推論されることです。