test: add test cases

Cargo.toml

@@ -22,9 +22,9 @@ edition = "2021"
 repository = "https://github.com/mtshiba/pylyzer"
 
 [workspace.dependencies]
-erg_common = { version = "0.6.27-nightly.0", features = ["py_compat", "els"] }
-erg_compiler = { version = "0.6.27-nightly.0", features = ["py_compat", "els"] }
-els = { version = "0.1.39-nightly.0", features = ["py_compat"] }
+erg_common = { version = "0.6.27-nightly.1", features = ["py_compat", "els"] }
+erg_compiler = { version = "0.6.27-nightly.1", features = ["py_compat", "els"] }
+els = { version = "0.1.39-nightly.1", features = ["py_compat"] }
 rustpython-parser = { version = "0.3.0", features = ["all-nodes-with-ranges", "location"] }
 rustpython-ast = { version = "0.3.0", features = ["all-nodes-with-ranges", "location"] }
 # rustpython-parser = { git = "https://github.com/RustPython/Parser", version = "0.3.0", features = ["all-nodes-with-ranges", "location"] }

tests/class.py

@@ -49,6 +49,8 @@ def __init__(self, c):
 class E(D):
     def __add__(self, other: E):
         return E(self.c + other.c)
+    def invalid(self):
+        return self.d # ERR: E object has no attribute `d`
 
 c1 = D(1).c + 1
 d = D(1) + D(2)

tests/projection.py

@@ -15,3 +15,26 @@ def call_method(obj, x):
 assert call_method(c, 1) == "a" # ERR
 print(call_method(1, 1)) # ERR
 print(call_method(c)) # ERR
+
+def x_and_y(a):
+    z: int = a.y
+    return a.x + z
+
+class A:
+    x: int
+    y: int
+
+    def __init__(self, x, y):
+        self.x = x
+        self.y = y
+
+class B:
+    x: int
+
+    def __init__(self, x):
+        self.x = x
+
+a = A(1, 2)
+assert x_and_y(a) == 3
+b = B(3)
+_ = x_and_y(b)  # ERR: B object has no attribute `y`

tests/test.rs

@@ -76,7 +76,7 @@ fn exec_func() -> Result<(), String> {
 
 #[test]
 fn exec_class() -> Result<(), String> {
-    expect("tests/class.py", 0, 4)
+    expect("tests/class.py", 0, 5)
 }
 
 #[test]
@@ -96,7 +96,7 @@ fn exec_typespec() -> Result<(), String> {
 
 #[test]
 fn exec_projection() -> Result<(), String> {
-    expect("tests/projection.py", 0, 4)
+    expect("tests/projection.py", 0, 5)
 }
 
 #[test]