In this kind of examples
import weakref var: str = "Hello World!" proxy_var: weakref.ProxyType[str] = weakref.proxy(var) var2 = proxy_var.upper()
I would like that my type checker detect that
var2 is a
str object (and in general I would like to have the auto-completion after
I don’t really know if this is possible in python so I am asking here.