def METHOD_NAME():
    program = """
        x = List[:]
        """
    module, _ = cs._parse_text(program)
    assign_node = next(module.nodes_of_class(nodes.Assign))
    assert isinstance(assign_node.inf_type, TypeFail)