Rust: Add example with multiple where clause items for the same type parameter

Author: paldepind

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

@@ -1,8 +1,8 @@
 multipleCallTargets
 | dereference.rs:61:15:61:24 | e1.deref() |
-| main.rs:2305:13:2305:31 | ...::from(...) |
-| main.rs:2306:13:2306:31 | ...::from(...) |
-| main.rs:2307:13:2307:31 | ...::from(...) |
-| main.rs:2313:13:2313:31 | ...::from(...) |
 | main.rs:2314:13:2314:31 | ...::from(...) |
 | main.rs:2315:13:2315:31 | ...::from(...) |
+| main.rs:2316:13:2316:31 | ...::from(...) |
+| main.rs:2322:13:2322:31 | ...::from(...) |
+| main.rs:2323:13:2323:31 | ...::from(...) |
+| main.rs:2324:13:2324:31 | ...::from(...) |

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

@@ -559,6 +559,15 @@ mod type_parameter_bounds {
         fn snd(self) -> P2;
     }
 
+    fn trait_per_multiple_where_bounds_with_type<T>(x: T, y: T)
+    where
+        T: FirstTrait<S1>,
+        T: Pair<S1, bool>,
+    {
+        let _ = x.fst(); // $ target=fst type=_:S1
+        let _ = y.method(); // $ target=FirstTrait::method _:S1
+    }
+
     fn call_trait_per_bound_with_type_1<T: Pair<S1, S2>>(x: T, y: T) {
         // The type in the type parameter bound determines the return type.
         let s1 = x.fst(); // $ target=fst type=s1:S1