File tree Expand file tree Collapse file tree 3 files changed +11
-3
lines changed
rust/ql/test/library-tests Expand file tree Collapse file tree 3 files changed +11
-3
lines changed Original file line number Diff line number Diff line change @@ -352,7 +352,7 @@ resolvePath
352
352
| my.rs:18:9:18:16 | ...::my5 | my.rs:15:5:15:16 | mod my5 |
353
353
| my.rs:18:9:18:19 | ...::f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
354
354
| my.rs:22:5:22:9 | std | file:///RUSTUP_HOME/toolchain/lib/rustlib/src/rust/library/std/src/lib.rs:0:0:0:0 | Crate(
[email protected] ) |
355
- | my.rs:22:5:22:17 | ...::result | file:///RUSTUP_HOME/toolchain/lib/rustlib/src/rust/library/core/src/lib.rs:356 :1:356 :15 | mod result |
355
+ | my.rs:22:5:22:17 | ...::result | file:///RUSTUP_HOME/toolchain/lib/rustlib/src/rust/library/core/src/lib.rs:365 :1:365 :15 | mod result |
356
356
| my.rs:22:5:24:12 | ...::Result::<...> | file:///RUSTUP_HOME/toolchain/lib/rustlib/src/rust/library/core/src/result.rs:520:1:538:1 | enum Result |
357
357
| my.rs:23:5:23:5 | T | my.rs:21:5:21:5 | T |
358
358
| my.rs:28:8:28:10 | i32 | file:///BUILTINS/types.rs:12:1:12:15 | struct i32 |
Original file line number Diff line number Diff line change 1
1
testFailures
2
+ | main.rs:1218:26:1218:53 | //... | Missing result: method=abs |
3
+ | main.rs:1218:26:1218:53 | //... | Missing result: type=z:i32 |
2
4
inferType
3
5
| loop/main.rs:7:12:7:15 | SelfParam | | loop/main.rs:6:1:8:1 | Self [trait T1] |
4
6
| loop/main.rs:11:12:11:15 | SelfParam | | loop/main.rs:10:1:14:1 | Self [trait T2] |
@@ -1568,9 +1570,7 @@ inferType
1568
1570
| main.rs:1216:17:1216:17 | 2 | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
1569
1571
| main.rs:1217:17:1217:17 | x | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
1570
1572
| main.rs:1217:21:1217:21 | y | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
1571
- | main.rs:1218:13:1218:13 | z | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
1572
1573
| main.rs:1218:17:1218:17 | x | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
1573
- | main.rs:1218:17:1218:23 | x.abs() | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
1574
1574
| main.rs:1219:13:1219:13 | c | | file:///BUILTINS/types.rs:6:1:7:16 | char |
1575
1575
| main.rs:1219:17:1219:19 | 'c' | | file:///BUILTINS/types.rs:6:1:7:16 | char |
1576
1576
| main.rs:1220:13:1220:17 | hello | | file:///BUILTINS/types.rs:8:1:8:15 | str |
Original file line number Diff line number Diff line change 1
1
multipleMethodCallTargets
2
2
| main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
3
3
| main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
4
+ | main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
5
+ | main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
6
+ | main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
7
+ | main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
8
+ | main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
9
+ | main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
10
+ | main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
11
+ | main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
4
12
| main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
5
13
| main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
You can’t perform that action at this time.
0 commit comments