(🐞) 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

Commencez par exécuter les deux reproductions Python de l’issue, ou utilisez le playground lié, et comparez la décoration basée sur Callable avec le décorateur basé sur une fonction. Suivez le chemin d’inférence des types pour la fonction interne imbriquée et l’appel du décorateur ; le travail est terminé lorsque le premier exemple est inféré comme str sans provoquer de régression dans les exemples qui passent déjà.