Rust: Add trait visibility test using Self

paldepind · paldepind · commit 0bc894dac4a9 · 2026-01-23T13:39:26.000+01:00
diff --git a/rust/ql/test/library-tests/path-resolution/main.rs b/rust/ql/test/library-tests/path-resolution/main.rs
@@ -606,6 +606,12 @@ mod trait_visibility {
             // Only the `Foo` trait is visible
             use m::Foo; // $ item=Foo
             X::a_method(&x); // $ item=X_Foo::a_method
+
+            impl X {
+                fn test(&self) {
+                    Self::a_method(self); // $ item=X_Foo::a_method
+                }
+            }
         }
         {
             // Only the `Bar` trait is visible

Original file line number	Diff line number	Diff line change
`@@ -606,6 +606,12 @@ mod trait_visibility {`
`606`	`606`	// Only the `Foo` trait is visible
`607`	`607`	`use m::Foo; // $ item=Foo`
`608`	`608`	`X::a_method(&x); // $ item=X_Foo::a_method`
	`609`	`+`
	`610`	`+ impl X {`
	`611`	`+ fn test(&self) {`
	`612`	`+ Self::a_method(self); // $ item=X_Foo::a_method`
	`613`	`+ }`
	`614`	`+ }`
`609`	`615`	`}`
`610`	`616`	`{`
`611`	`617`	// Only the `Bar` trait is visible