Rust: Fix canonical path for Deref trait

Author: paldepind

rust/ql/lib/codeql/rust/elements/internal/OperationImpl.qll

@@ -21,7 +21,7 @@ private predicate isOverloaded(string op, int arity, string path, string method)
     op = "!" and path = "core::ops::bit::Not" and method = "not"
     or
     // Dereference
-    op = "*" and path = "core::ops::Deref" and method = "deref"
+    op = "*" and path = "core::ops::deref::Deref" and method = "deref"
   )
   or
   arity = 2 and

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

@@ -1098,9 +1098,9 @@ mod method_call_type_conversion {
         println!("{:?}", x5.m1()); // $ method=m1
         println!("{:?}", x5.0); // $ fieldof=S
 
-        let x6 = &S(S2);
+        let x6 = &S(S2); // $ SPURIOUS: type=x6:&T.&T.S
         // explicit dereference
-        println!("{:?}", (*x6).m1()); // $ method=m1
+        println!("{:?}", (*x6).m1()); // $ method=m1 method=deref
 
         let x7 = S(&S2);
         // Non-implicit dereference with nested borrow in order to test that the

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

@@ -1352,22 +1352,43 @@ inferType
 | main.rs:1099:26:1099:27 | x5 | &T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1099:26:1099:29 | x5.0 |  | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1101:13:1101:14 | x6 |  | file://:0:0:0:0 | & |
+| main.rs:1101:13:1101:14 | x6 | &T | file://:0:0:0:0 | & |
 | main.rs:1101:13:1101:14 | x6 | &T | main.rs:1057:5:1058:19 | S |
+| main.rs:1101:13:1101:14 | x6 | &T.&T | main.rs:1057:5:1058:19 | S |
+| main.rs:1101:13:1101:14 | x6 | &T.&T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1101:13:1101:14 | x6 | &T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1101:18:1101:23 | &... |  | file://:0:0:0:0 | & |
+| main.rs:1101:18:1101:23 | &... | &T | file://:0:0:0:0 | & |
 | main.rs:1101:18:1101:23 | &... | &T | main.rs:1057:5:1058:19 | S |
+| main.rs:1101:18:1101:23 | &... | &T.&T | main.rs:1057:5:1058:19 | S |
+| main.rs:1101:18:1101:23 | &... | &T.&T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1101:18:1101:23 | &... | &T.T | main.rs:1060:5:1061:14 | S2 |
+| main.rs:1101:19:1101:23 | S(...) |  | file://:0:0:0:0 | & |
 | main.rs:1101:19:1101:23 | S(...) |  | main.rs:1057:5:1058:19 | S |
+| main.rs:1101:19:1101:23 | S(...) | &T | file://:0:0:0:0 | & |
+| main.rs:1101:19:1101:23 | S(...) | &T | main.rs:1057:5:1058:19 | S |
+| main.rs:1101:19:1101:23 | S(...) | &T.&T | main.rs:1057:5:1058:19 | S |
+| main.rs:1101:19:1101:23 | S(...) | &T.&T.T | main.rs:1060:5:1061:14 | S2 |
+| main.rs:1101:19:1101:23 | S(...) | &T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1101:19:1101:23 | S(...) | T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1101:21:1101:22 | S2 |  | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1103:18:1103:23 | "{:?}\\n" |  | {EXTERNAL LOCATION} | str |
+| main.rs:1103:26:1103:30 | (...) |  | file://:0:0:0:0 | & |
 | main.rs:1103:26:1103:30 | (...) |  | main.rs:1057:5:1058:19 | S |
+| main.rs:1103:26:1103:30 | (...) | &T | main.rs:1057:5:1058:19 | S |
+| main.rs:1103:26:1103:30 | (...) | &T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1103:26:1103:30 | (...) | T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1103:26:1103:35 | ... .m1() |  | main.rs:1060:5:1061:14 | S2 |
+| main.rs:1103:27:1103:29 | * ... |  | file://:0:0:0:0 | & |
 | main.rs:1103:27:1103:29 | * ... |  | main.rs:1057:5:1058:19 | S |
+| main.rs:1103:27:1103:29 | * ... | &T | main.rs:1057:5:1058:19 | S |
+| main.rs:1103:27:1103:29 | * ... | &T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1103:27:1103:29 | * ... | T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1103:28:1103:29 | x6 |  | file://:0:0:0:0 | & |
+| main.rs:1103:28:1103:29 | x6 | &T | file://:0:0:0:0 | & |
 | main.rs:1103:28:1103:29 | x6 | &T | main.rs:1057:5:1058:19 | S |
+| main.rs:1103:28:1103:29 | x6 | &T.&T | main.rs:1057:5:1058:19 | S |
+| main.rs:1103:28:1103:29 | x6 | &T.&T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1103:28:1103:29 | x6 | &T.T | main.rs:1060:5:1061:14 | S2 |
 | main.rs:1105:13:1105:14 | x7 |  | main.rs:1057:5:1058:19 | S |
 | main.rs:1105:13:1105:14 | x7 | T | file://:0:0:0:0 | & |