Should this be an error? ``` from typing import overload @overload def f(x: int): pass @overload def f(x: int): pass ```