I would expect the following code to report an error or warning of some kind, given that the data being passed to this function is completely invalid.

def foo(a: Callable[[int], str]):
    print(a(1).upper())

foo    hi