Rust: Remove comment from type inference test

Author: hvitved

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:2314:13:2314:31 | ...::from(...) |
-| main.rs:2315:13:2315:31 | ...::from(...) |
+| main.rs:2308:13:2308:31 | ...::from(...) |
+| main.rs:2309:13:2309:31 | ...::from(...) |
+| main.rs:2310:13:2310: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(...) |
+| main.rs:2317:13:2317:31 | ...::from(...) |
+| main.rs:2318:13:2318:31 | ...::from(...) |

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

@@ -2068,12 +2068,6 @@ mod indexers {
     }
 
     fn analyze_slice(slice: &[S]) {
-        // NOTE: `slice` gets the spurious type `[]` because the desugaring of
-        // the index expression adds an implicit borrow. `&slice` has the type
-        // `&&[S]`, but the `index` methods takes a `&[S]`, so Rust adds an
-        // implicit dereference. We cannot currently handle a position that is
-        // both implicitly dereferenced and implicitly borrowed, so the extra
-        // type sneaks in.
         let x = slice[0].foo(); // $ target=foo type=x:S target=index
     }