As you can guess, I don't know how type checkers work -- so my question: given the following annotated function:
def foobar(spam, eggs, ham='tasty'):
If it were annotated via decorator [^1]:
Would mypy and the others recognize those annotations?
[^1]: the decorator would populate the function's `__annotations__` variable.