Rust: Add annotations to type inference tests

paldepind · paldepind · commit f7201023deef · 2025-09-02T16:24:40.000+02:00
diff --git a/rust/ql/test/library-tests/type-inference/main.rs b/rust/ql/test/library-tests/type-inference/main.rs
@@ -73,7 +73,7 @@ mod method_impl {
 
     impl Foo {
         pub fn m1(self) -> Self {
-            self
+            self // $ type=self:Foo
         }
 
         pub fn m2(self) -> Foo {
@@ -108,7 +108,7 @@ mod trait_impl {
     impl MyTrait<bool> for MyThing {
         // MyThing::trait_method
         fn trait_method(self) -> bool {
-            self.field // $ fieldof=MyThing
+            self.field // $ type=self:MyThing fieldof=MyThing
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,7 @@ mod method_impl {`
`73`	`73`
`74`	`74`	`impl Foo {`
`75`	`75`	`pub fn m1(self) -> Self {`
`76`		`- self`
	`76`	`+ self // $ type=self:Foo`
`77`	`77`	`}`
`78`	`78`
`79`	`79`	`pub fn m2(self) -> Foo {`
`@@ -108,7 +108,7 @@ mod trait_impl {`
`108`	`108`	`impl MyTrait<bool> for MyThing {`
`109`	`109`	`// MyThing::trait_method`
`110`	`110`	`fn trait_method(self) -> bool {`
`111`		`- self.field // $ fieldof=MyThing`
	`111`	`+ self.field // $ type=self:MyThing fieldof=MyThing`
`112`	`112`	`}`
`113`	`113`	`}`
`114`	`114`