File tree Expand file tree Collapse file tree 3 files changed +1001
-1002
lines changed
rust/ql/test/library-tests/type-inference Expand file tree Collapse file tree 3 files changed +1001
-1002
lines changed Original file line number Diff line number Diff line change 1
1
multipleCallTargets
2
2
| dereference.rs:61:15:61:24 | e1.deref() |
3
- | main.rs:2278:13:2278:31 | ...::from(...) |
4
3
| main.rs:2279:13:2279:31 | ...::from(...) |
5
4
| main.rs:2280:13:2280:31 | ...::from(...) |
6
- | main.rs:2286 :13:2286 :31 | ...::from(...) |
5
+ | main.rs:2281 :13:2281 :31 | ...::from(...) |
7
6
| main.rs:2287:13:2287:31 | ...::from(...) |
8
7
| main.rs:2288:13:2288:31 | ...::from(...) |
8
+ | main.rs:2289:13:2289:31 | ...::from(...) |
Original file line number Diff line number Diff line change @@ -1989,6 +1989,7 @@ mod impl_trait {
1989
1989
let c = uses_my_trait2 ( a) ; // $ type=c:S2 target=uses_my_trait2
1990
1990
let d = uses_my_trait2 ( S1 ) ; // $ type=d:S2 target=uses_my_trait2
1991
1991
let e = get_a_my_trait2 ( S1 ) . get_a ( ) ; // $ target=get_a_my_trait2 target=MyTrait::get_a type=e:S1
1992
+
1992
1993
// For this function the `impl` type does not appear in the root of the return type
1993
1994
let f = get_a_my_trait3 ( S1 ) . unwrap ( ) . get_a ( ) ; // $ target=get_a_my_trait3 target=unwrap target=MyTrait::get_a type=f:S1
1994
1995
let g = get_a_my_trait4 ( S1 ) . 0 . get_a ( ) ; // $ target=get_a_my_trait4 target=MyTrait::get_a type=g:S1
@@ -2487,8 +2488,7 @@ pub mod pattern_matching_experimental {
2487
2488
pub mod exec {
2488
2489
// a *greatly* simplified model of `MySqlConnection.execute` in SQLX
2489
2490
2490
- trait Connection {
2491
- }
2491
+ trait Connection { }
2492
2492
2493
2493
trait Executor {
2494
2494
fn execute1 ( & self ) ;
@@ -2519,7 +2519,6 @@ pub mod exec {
2519
2519
c. execute2 :: < & str > ( "SELECT * FROM users" ) ; // $ MISSING: target=execute2
2520
2520
MySqlConnection :: execute2 ( & c, "SELECT * FROM users" ) ; // $ MISSING: target=execute2
2521
2521
MySqlConnection :: execute2 :: < & str > ( & c, "SELECT * FROM users" ) ; // $ MISSING: target=execute2
2522
-
2523
2522
}
2524
2523
}
2525
2524
You can’t perform that action at this time.
0 commit comments