Add test check_listcopy.test

Author: exertustfm

mypyc/test-data/run-lists.test

@@ -51,7 +51,10 @@ print(2, a)
 1 [-1, 5]
 2 [340282366920938463463374607431768211461, -170141183460469231731687303715884105736]
 
+<<<<<<< HEAD
+<<<<<<< HEAD
 [case testListCopy]
+from typing import List
 def test_list_copy() -> None:
     l1 = [1, 2, 3, -4, 5]
     l2 = l1.copy()
@@ -78,9 +81,12 @@ def test_list_copy() -> None:
     l1 = [1, 2, 3]
     assert l1.copy() == l2.copy()
 
+=======
+>>>>>>> e276f33f1 (Add test check_listcopy.test)
+=======
+>>>>>>> d1f946e3d (Remove test)
 [case testSieve]
 from typing import List
-
 def primes(n: int) -> List[int]:
     a = [1] * (n + 1)
     a[0] = 0

test-data/unit/check-listcopy.test

@@ -0,0 +1,31 @@
+[case testListCopy]
+[builtins fixtures/list.pyi]
+def test_list_copy() -> None:
+    l1 = [1, 2, 3, -4, 5]
+    l2 = l1.copy()
+    assert l1.copy() == l1
+    assert l1.copy() == l2
+    assert l1 == l2
+    assert l1.copy() == l2.copy()
+    l1 = l2.copy()
+    assert l1 == l2
+    assert l1.copy() == l2
+    assert l1 == [1, 2, 3, -4, 5]
+    l2 = [1, 2, -3]
+    l1 = []
+    assert l1.copy() == []
+    assert l2.copy() != l1
+    assert l2 == l2.copy()
+    l1 = l2
+    assert l1.copy().copy() == l2.copy().copy().copy()
+    assert l1.copy() == l2.copy()
+    l1 == [1, 2, -3].copy()
+    assert l1 == l2
+    l2 = [1, 2, 3].copy()
+    assert l2 != l1
+    l1 = [1, 2, 3]
+    assert l1.copy() == l2.copy()
+    l3 = ["string", 2 , 3]
+    assert l3 == l3.copy()
+    l2 = ["string", 2, 3]
+    assert l2 == l3.copy()

test-data/unit/fixtures/list.pyi

@@ -25,6 +25,7 @@ class list(Sequence[T]):
     def __setitem__(self, x: int, v: T) -> None: pass
     def append(self, x: T) -> None: pass
     def extend(self, x: Iterable[T]) -> None: pass
+    def copy(self) -> list[T] : pass
 
 class tuple(Generic[T]): pass
 class function: pass