def METHOD_NAME():
    """Make sure auto-binding of self persists"""
    program = """
        x = []
        f = x.append
        f(4)
        """
    module, ti = cs._parse_text(program, reset=True)
    x = [ti.lookup_typevar(node, node.name) for node in module.nodes_of_class(nodes.AssignName)][0]
    assert str(ti.type_constraints.resolve(x).getValue()) == "typing.List[int]"