Rust: Add tests with where clause

Author: paldepind

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

@@ -2,6 +2,6 @@ multipleCallTargets
 | main.rs:118:9:118:11 | f(...) |
 | proc_macro.rs:9:5:11:5 | ...::new(...) |
 multiplePathResolutions
-| main.rs:626:3:626:12 | proc_macro |
-| main.rs:632:7:632:16 | proc_macro |
-| main.rs:635:7:635:16 | proc_macro |
+| main.rs:641:3:641:12 | proc_macro |
+| main.rs:647:7:647:16 | proc_macro |
+| main.rs:650:7:650:16 | proc_macro |

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

@@ -312,6 +312,21 @@ mod m15 {
         }
     } // I82
 
+    #[rustfmt::skip]
+    trait Trait3<
+        TT // ITT
+    >
+    where
+        Self: Trait1, // $ item=ITrait3 item=I79
+        TT: Trait1, // $ item=ITT item=I79
+    {
+        fn f(&self, tt: TT) { // $ item=ITT
+            Self::g(self); // $ MISSING: item=I80
+            TT::g(&tt); // $ item=I80
+            self.g(); // $ MISSING: item=I80
+        }
+    } // ITrait3
+
     struct S; // I81
 
     #[rustfmt::skip]