def METHOD_NAME():
    src = """
    def f(x: int):
        return x
    f('Hello')
    """
    skip("Requires modifications to unify_call")
    ast_mod, ti = cs._parse_text(src, reset=True)
    tf = find_type_fail(ast_mod).inf_type
    assert isinstance(tf, TypeFailAnnotationUnify)