Merge pull request #19993 from hvitved/rust/type-inference-function-call-expectations

Rust: Add type inference inline expectations for all function calls

Author: hvitved

rust/ql/lib/rust.qll

@@ -15,3 +15,6 @@ import codeql.rust.elements.AsyncBlockExpr
 import codeql.rust.elements.Variable
 import codeql.rust.elements.NamedFormatArgument
 import codeql.rust.elements.PositionalFormatArgument
+private import codeql.rust.elements.Call as Call
+
+class Call = Call::Call;

rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected

@@ -1,9 +1,9 @@
 multipleCallTargets
 | dereference.rs:61:15:61:24 | e1.deref() |
-| main.rs:2086:13:2086:31 | ...::from(...) |
-| main.rs:2087:13:2087:31 | ...::from(...) |
-| main.rs:2088:13:2088:31 | ...::from(...) |
-| main.rs:2094:13:2094:31 | ...::from(...) |
-| main.rs:2095:13:2095:31 | ...::from(...) |
 | main.rs:2096:13:2096:31 | ...::from(...) |
-| main.rs:2132:21:2132:43 | ...::from(...) |
+| main.rs:2097:13:2097:31 | ...::from(...) |
+| main.rs:2098:13:2098:31 | ...::from(...) |
+| main.rs:2104:13:2104:31 | ...::from(...) |
+| main.rs:2105:13:2105:31 | ...::from(...) |
+| main.rs:2106:13:2106:31 | ...::from(...) |
+| main.rs:2142:21:2142:43 | ...::from(...) |

rust/ql/test/library-tests/type-inference/dereference.rs

@@ -71,15 +71,15 @@ fn explicit_ref_dereference() {
 
 fn explicit_box_dereference() {
     // Explicit dereference with type parameter
-    let g1: Box<char> = Box::new('a');
+    let g1: Box<char> = Box::new('a'); // $ method=new
     let _h1 = g1.deref(); // $ method=deref type=_h1:&T.char
 
     // Explicit dereference with type parameter
-    let g2: Box<char> = Box::new('a');
+    let g2: Box<char> = Box::new('a'); // $ method=new
     let _h2 = *g2; // $ method=deref type=_h2:char
 
     // Call method on explicitly dereferenced value with type parameter
-    let g3: Box<i64> = Box::new(34i64);
+    let g3: Box<i64> = Box::new(34i64); // $ method=new
     let _h3 = (*g3).is_positive(); // $ method=deref method=is_positive type=_h3:bool
 }
 
@@ -94,9 +94,9 @@ fn implicit_dereference() {
 }
 
 pub fn test() {
-    explicit_monomorphic_dereference();
-    explicit_polymorphic_dereference();
-    explicit_ref_dereference();
-    explicit_box_dereference();
-    implicit_dereference();
+    explicit_monomorphic_dereference(); // $ method=explicit_monomorphic_dereference
+    explicit_polymorphic_dereference(); // $ method=explicit_polymorphic_dereference
+    explicit_ref_dereference(); // $ method=explicit_ref_dereference
+    explicit_box_dereference(); // $ method=explicit_box_dereference
+    implicit_dereference(); // $ method=implicit_dereference
 }