def METHOD_NAME():
    program = """
        class A:
            def __init__(self):
                self.lst = []
                self.lst[0] = 1
        a = A()
        x = a.lst[0]
        """
    module, ti = cs._parse_text(program, reset=True)
    for assgn_node in module.nodes_of_class(nodes.AssignName):
        if assgn_node.name == "x":
            x = ti.lookup_typevar(assgn_node, assgn_node.name)
            assert ti.type_constraints.resolve(x).getValue() == int