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
352352| my.rs:18:9:18:16 | ...::my5 | my.rs:15:5:15:16 | mod my5 |
353353| my.rs:18:9:18:19 | ...::f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
354354| 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(std@0.0.0) |
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 |
356356| 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 |
357357| my.rs:23:5:23:5 | T | my.rs:21:5:21:5 | T |
358358| 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 11testFailures
2+ | main.rs:1218:26:1218:53 | //... | Missing result: method=abs |
3+ | main.rs:1218:26:1218:53 | //... | Missing result: type=z:i32 |
24inferType
35| loop/main.rs:7:12:7:15 | SelfParam | | loop/main.rs:6:1:8:1 | Self [trait T1] |
46| loop/main.rs:11:12:11:15 | SelfParam | | loop/main.rs:10:1:14:1 | Self [trait T2] |
@@ -1568,9 +1570,7 @@ inferType
15681570| main.rs:1216:17:1216:17 | 2 | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
15691571| main.rs:1217:17:1217:17 | x | | file:///BUILTINS/types.rs:12:1:12:15 | i32 |
15701572| 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 |
15721573| 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 |
15741574| main.rs:1219:13:1219:13 | c | | file:///BUILTINS/types.rs:6:1:7:16 | char |
15751575| main.rs:1219:17:1219:19 | 'c' | | file:///BUILTINS/types.rs:6:1:7:16 | char |
15761576| 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 11multipleMethodCallTargets
22| main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
33| 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 |
412| main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
513| 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