File tree Expand file tree Collapse file tree
rust/ql/test/library-tests/type-inference Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -15848,11 +15848,11 @@ inferType
1584815848| regressions.rs:179:26:179:26 | 1 | | {EXTERNAL LOCATION} | i32 |
1584915849testFailures
1585015850| main.rs:1308:44:1308:62 | //... | Missing result: target=default |
15851- | main.rs:2406:48:2406:80 | //... | Missing result: target=default |
15852- | main.rs:2409:37:2409:69 | //... | Missing result: target=default |
15853- | main.rs:2409:37:2409:69 | //... | Missing result: type=x9:T4. S2 |
15851+ | main.rs:2406:48:2406:84 | //... | Missing result: target=default |
15852+ | main.rs:2409:37:2409:73 | //... | Missing result: target=default |
15853+ | main.rs:2409:37:2409:73 | //... | Missing result: type=x9@S4<T4>: S2 |
1585415854| main.rs:2412:40:2412:58 | //... | Missing result: target=default |
15855- | main.rs:2416:22:2416:40 | //... | Missing result: type=x13:T5. S2 |
15855+ | main.rs:2416:22:2416:44 | //... | Missing result: type=x13@S5<T5>: S2 |
1585615856| main.rs:2418:35:2418:53 | //... | Missing result: target=default |
1585715857| main.rs:2574:41:2574:59 | //... | Missing result: target=default |
1585815858| main.rs:2698:37:2698:64 | //... | Missing result: target=default |
You can’t perform that action at this time.
0 commit comments