Rust: Add more path resolution tests

Author: hvitved

rust/ql/test/library-tests/path-resolution/illegal/main.rs

@@ -0,0 +1,71 @@
+mod m1 {
+    struct S(); // I1
+
+    trait T1 {
+        fn f1(&self);
+    } // I2
+
+    mod nested1 {
+
+        trait T2 {
+            fn f2(&self);
+        } // I3
+
+        #[rustfmt::skip]
+        impl super::S { // $ item=I1
+            fn f(self) {
+                println!("m1::S::f");
+            } // I4
+
+            pub fn g(self) {
+                println!("m1::S::f");
+            } // I5
+        }
+
+        #[rustfmt::skip]
+        impl super::T1 // $ item=I2
+        for super::S { // $ item=I1
+            fn f1(&self) {
+                println!("m1::nested1::T2::f");
+            } // I6
+        }
+
+        #[rustfmt::skip]
+        impl T2 // $ item=I3
+        for super::S { // $ item=I1
+            fn f2(&self) {
+                println!("m1::nested1::T2::f");
+            } // I7
+        }
+    }
+
+    mod nested2 {
+        use super::nested1::T2; // illegal: private
+        use super::T1; // $ item=I2
+
+        #[rustfmt::skip]
+        pub fn f() {
+            println!("m1::nested2::f");
+            super::S(). // $ item=I1
+                f(); // $ SPURIOUS: item=I4 (private)
+            super::S::f( // illegal: private
+                super::S() // $ item=I1
+            );
+            super::S(). // $ item=I1
+                g(); // $ item=I5
+            super::S::g( // $ item=I5
+                super::S() // $ item=I1
+            );
+            super::S(). // $ item=I1
+                f1(); // $ item=I6
+            super::S::f1( // $ MISSING: item=I6
+                super::S() // $ item=I1
+            );
+            super::S(). // $ item=I1
+                f2(); // $ SPURIOUS: item=I7 (private)
+            super::S::f2(
+                super::S() // $ item=I1
+            ); // illegal: private
+        }
+    }
+}

rust/ql/test/library-tests/path-resolution/illegal/options.yml

@@ -0,0 +1 @@
+qltest_cargo_check: false

rust/ql/test/library-tests/path-resolution/path-resolution.expected

@@ -1,5 +1,8 @@
 testFailures
 mod
+| illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:8:5:40:5 | mod nested1 |
+| illegal/main.rs:42:5:70:5 | mod nested2 |
 | lib.rs:1:1:1:7 | mod my |
 | main.rs:1:1:1:7 | mod my |
 | main.rs:7:1:7:8 | mod my2 |
@@ -44,6 +47,44 @@ mod
 | my/nested.rs:1:1:17:1 | mod nested1 |
 | my/nested.rs:2:5:11:5 | mod nested2 |
 resolvePath
+| illegal/main.rs:15:14:15:18 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:15:14:15:21 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:26:14:26:18 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:26:14:26:22 | ...::T1 | illegal/main.rs:4:5:6:5 | trait T1 |
+| illegal/main.rs:27:13:27:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:27:13:27:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:34:14:34:15 | T2 | illegal/main.rs:10:9:12:9 | trait T2 |
+| illegal/main.rs:35:13:35:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:35:13:35:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:43:13:43:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:43:13:43:26 | ...::nested1 | illegal/main.rs:8:5:40:5 | mod nested1 |
+| illegal/main.rs:44:13:44:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:44:13:44:21 | ...::T1 | illegal/main.rs:4:5:6:5 | trait T1 |
+| illegal/main.rs:49:13:49:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:49:13:49:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:51:13:51:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:51:13:51:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:52:17:52:21 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:52:17:52:24 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:54:13:54:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:54:13:54:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:56:13:56:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:56:13:56:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:56:13:56:23 | ...::g | illegal/main.rs:20:13:22:13 | fn g |
+| illegal/main.rs:57:17:57:21 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:57:17:57:24 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:59:13:59:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:59:13:59:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:61:13:61:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:61:13:61:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:62:17:62:21 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:62:17:62:24 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:64:13:64:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:64:13:64:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:66:13:66:17 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:66:13:66:20 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
+| illegal/main.rs:67:17:67:21 | super | illegal/main.rs:1:1:71:1 | mod m1 |
+| illegal/main.rs:67:17:67:24 | ...::S | illegal/main.rs:2:5:2:15 | struct S |
 | main.rs:3:5:3:6 | my | main.rs:1:1:1:7 | mod my |
 | main.rs:5:5:5:6 | my | main.rs:1:1:1:7 | mod my |
 | main.rs:5:5:5:14 | ...::nested | my.rs:1:1:1:15 | mod nested |