void () { doTest("float", "(int) -> float", """ from typing import Callable from typing import TypeVar I = TypeVar('I') T = TypeVar('T') W = TypeVar('W') def dec(t: T) -> Callable[ [Callable[[I], W]], Callable[[I], T] ]: def dec_(fun): def wrapper(): return t return wrapper return dec_ @dec(12.1) def func(i: int) -> int: return i value = func(1) dec_func = func"""); }