def METHOD_NAME():
    src = """
    x: int
    x = 'Hello'
    """
    ast_mod, ti = cs._parse_text(src, reset=True)
    tf = find_type_fail(ast_mod).inf_type
    assert isinstance(tf, TypeFailAnnotationUnify)