Skip to content

Commit 126dd8d

Browse files
hvitvedhvitved
committed
Rust: Add type inference regression test
1 parent b5bf1c5 commit 126dd8d

File tree

2 files changed

+254
-0
lines changed

2 files changed

+254
-0
lines changed

‎rust/ql/test/library-tests/type-inference/regressions.rs‎

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,3 +32,35 @@ mod regression1 {
3232
opt_e.unwrap() // $ target=unwrap
3333
}
3434
}
35+
36+
mod regression2 {
37+
trait SomeTrait {}
38+
39+
trait MyFrom<T> {
40+
fn my_from(value: T) -> Self;
41+
}
42+
43+
impl<T> MyFrom<T> for T {
44+
fn my_from(s: T) -> Self {
45+
s
46+
}
47+
}
48+
49+
impl<T> MyFrom<T> for Option<T> {
50+
fn my_from(val: T) -> Option<T> {
51+
Some(val)
52+
}
53+
}
54+
55+
pub struct S<Ts>(Ts);
56+
57+
pub fn f<T1, T2>(x: T2) -> T2
58+
where
59+
T2: SomeTrait + MyFrom<Option<T1>>,
60+
Option<T1>: MyFrom<T2>,
61+
{
62+
let y = MyFrom::my_from(x); // $ target=my_from
63+
let z = MyFrom::my_from(y); // $ target=my_from
64+
z
65+
}
66+
}

‎rust/ql/test/library-tests/type-inference/type-inference.expected‎

Lines changed: 222 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4947,6 +4947,17 @@ inferCertainType
49474947
| regressions.rs:27:37:27:41 | vec_e | | {EXTERNAL LOCATION} | Vec |
49484948
| regressions.rs:27:37:27:41 | vec_e | A | {EXTERNAL LOCATION} | Global |
49494949
| regressions.rs:28:9:30:9 | { ... } | | {EXTERNAL LOCATION} | () |
4950+
| regressions.rs:40:20:40:24 | value | | regressions.rs:39:18:39:18 | T |
4951+
| regressions.rs:44:20:44:20 | s | | regressions.rs:43:10:43:10 | T |
4952+
| regressions.rs:44:34:46:9 | { ... } | | regressions.rs:43:10:43:10 | T |
4953+
| regressions.rs:45:13:45:13 | s | | regressions.rs:43:10:43:10 | T |
4954+
| regressions.rs:50:20:50:22 | val | | regressions.rs:49:10:49:10 | T |
4955+
| regressions.rs:50:41:52:9 | { ... } | | {EXTERNAL LOCATION} | Option |
4956+
| regressions.rs:50:41:52:9 | { ... } | T | regressions.rs:49:10:49:10 | T |
4957+
| regressions.rs:51:18:51:20 | val | | regressions.rs:49:10:49:10 | T |
4958+
| regressions.rs:57:22:57:22 | x | | regressions.rs:57:18:57:19 | T2 |
4959+
| regressions.rs:61:5:65:5 | { ... } | | regressions.rs:57:18:57:19 | T2 |
4960+
| regressions.rs:62:33:62:33 | x | | regressions.rs:57:18:57:19 | T2 |
49504961
inferType
49514962
| associated_types.rs:5:15:5:18 | SelfParam | | associated_types.rs:1:1:2:21 | Wrapper |
49524963
| associated_types.rs:5:15:5:18 | SelfParam | A | associated_types.rs:4:6:4:6 | A |
@@ -14789,4 +14800,215 @@ inferType
1478914800
| regressions.rs:32:9:32:13 | opt_e | | {EXTERNAL LOCATION} | Option |
1479014801
| regressions.rs:32:9:32:13 | opt_e | T | regressions.rs:5:5:7:5 | E |
1479114802
| regressions.rs:32:9:32:22 | opt_e.unwrap() | | regressions.rs:5:5:7:5 | E |
14803+
| regressions.rs:40:20:40:24 | value | | regressions.rs:39:18:39:18 | T |
14804+
| regressions.rs:44:20:44:20 | s | | regressions.rs:43:10:43:10 | T |
14805+
| regressions.rs:44:34:46:9 | { ... } | | regressions.rs:43:10:43:10 | T |
14806+
| regressions.rs:45:13:45:13 | s | | regressions.rs:43:10:43:10 | T |
14807+
| regressions.rs:50:20:50:22 | val | | regressions.rs:49:10:49:10 | T |
14808+
| regressions.rs:50:41:52:9 | { ... } | | {EXTERNAL LOCATION} | Option |
14809+
| regressions.rs:50:41:52:9 | { ... } | T | regressions.rs:49:10:49:10 | T |
14810+
| regressions.rs:51:13:51:21 | Some(...) | | {EXTERNAL LOCATION} | Option |
14811+
| regressions.rs:51:13:51:21 | Some(...) | T | regressions.rs:49:10:49:10 | T |
14812+
| regressions.rs:51:18:51:20 | val | | regressions.rs:49:10:49:10 | T |
14813+
| regressions.rs:57:22:57:22 | x | | regressions.rs:57:18:57:19 | T2 |
14814+
| regressions.rs:61:5:65:5 | { ... } | | regressions.rs:57:18:57:19 | T2 |
14815+
| regressions.rs:62:13:62:13 | y | | {EXTERNAL LOCATION} | Option |
14816+
| regressions.rs:62:13:62:13 | y | | regressions.rs:57:14:57:15 | T1 |
14817+
| regressions.rs:62:13:62:13 | y | | regressions.rs:57:18:57:19 | T2 |
14818+
| regressions.rs:62:13:62:13 | y | T | {EXTERNAL LOCATION} | Option |
14819+
| regressions.rs:62:13:62:13 | y | T | regressions.rs:57:14:57:15 | T1 |
14820+
| regressions.rs:62:13:62:13 | y | T | regressions.rs:57:18:57:19 | T2 |
14821+
| regressions.rs:62:13:62:13 | y | T.T | {EXTERNAL LOCATION} | Option |
14822+
| regressions.rs:62:13:62:13 | y | T.T | regressions.rs:57:14:57:15 | T1 |
14823+
| regressions.rs:62:13:62:13 | y | T.T | regressions.rs:57:18:57:19 | T2 |
14824+
| regressions.rs:62:13:62:13 | y | T.T.T | {EXTERNAL LOCATION} | Option |
14825+
| regressions.rs:62:13:62:13 | y | T.T.T | regressions.rs:57:14:57:15 | T1 |
14826+
| regressions.rs:62:13:62:13 | y | T.T.T | regressions.rs:57:18:57:19 | T2 |
14827+
| regressions.rs:62:13:62:13 | y | T.T.T.T | {EXTERNAL LOCATION} | Option |
14828+
| regressions.rs:62:13:62:13 | y | T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14829+
| regressions.rs:62:13:62:13 | y | T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14830+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14831+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14832+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14833+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14834+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14835+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14836+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14837+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14838+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14839+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14840+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14841+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14842+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14843+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14844+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14845+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14846+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14847+
| regressions.rs:62:13:62:13 | y | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14848+
| regressions.rs:62:17:62:34 | ...::my_from(...) | | {EXTERNAL LOCATION} | Option |
14849+
| regressions.rs:62:17:62:34 | ...::my_from(...) | | regressions.rs:57:14:57:15 | T1 |
14850+
| regressions.rs:62:17:62:34 | ...::my_from(...) | | regressions.rs:57:18:57:19 | T2 |
14851+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T | {EXTERNAL LOCATION} | Option |
14852+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T | regressions.rs:57:14:57:15 | T1 |
14853+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T | regressions.rs:57:18:57:19 | T2 |
14854+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T | {EXTERNAL LOCATION} | Option |
14855+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T | regressions.rs:57:14:57:15 | T1 |
14856+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T | regressions.rs:57:18:57:19 | T2 |
14857+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T | {EXTERNAL LOCATION} | Option |
14858+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T | regressions.rs:57:14:57:15 | T1 |
14859+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T | regressions.rs:57:18:57:19 | T2 |
14860+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T | {EXTERNAL LOCATION} | Option |
14861+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14862+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14863+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14864+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14865+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14866+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14867+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14868+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14869+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14870+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14871+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14872+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14873+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14874+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14875+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14876+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14877+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14878+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14879+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14880+
| regressions.rs:62:17:62:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14881+
| regressions.rs:62:33:62:33 | x | | regressions.rs:57:18:57:19 | T2 |
14882+
| regressions.rs:63:13:63:13 | z | | {EXTERNAL LOCATION} | Option |
14883+
| regressions.rs:63:13:63:13 | z | | regressions.rs:57:14:57:15 | T1 |
14884+
| regressions.rs:63:13:63:13 | z | | regressions.rs:57:18:57:19 | T2 |
14885+
| regressions.rs:63:13:63:13 | z | T | {EXTERNAL LOCATION} | Option |
14886+
| regressions.rs:63:13:63:13 | z | T | regressions.rs:57:14:57:15 | T1 |
14887+
| regressions.rs:63:13:63:13 | z | T | regressions.rs:57:18:57:19 | T2 |
14888+
| regressions.rs:63:13:63:13 | z | T.T | {EXTERNAL LOCATION} | Option |
14889+
| regressions.rs:63:13:63:13 | z | T.T | regressions.rs:57:14:57:15 | T1 |
14890+
| regressions.rs:63:13:63:13 | z | T.T | regressions.rs:57:18:57:19 | T2 |
14891+
| regressions.rs:63:13:63:13 | z | T.T.T | {EXTERNAL LOCATION} | Option |
14892+
| regressions.rs:63:13:63:13 | z | T.T.T | regressions.rs:57:14:57:15 | T1 |
14893+
| regressions.rs:63:13:63:13 | z | T.T.T | regressions.rs:57:18:57:19 | T2 |
14894+
| regressions.rs:63:13:63:13 | z | T.T.T.T | {EXTERNAL LOCATION} | Option |
14895+
| regressions.rs:63:13:63:13 | z | T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14896+
| regressions.rs:63:13:63:13 | z | T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14897+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14898+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14899+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14900+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14901+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14902+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14903+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14904+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14905+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14906+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14907+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14908+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14909+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14910+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14911+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14912+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14913+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14914+
| regressions.rs:63:13:63:13 | z | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14915+
| regressions.rs:63:17:63:34 | ...::my_from(...) | | {EXTERNAL LOCATION} | Option |
14916+
| regressions.rs:63:17:63:34 | ...::my_from(...) | | regressions.rs:57:14:57:15 | T1 |
14917+
| regressions.rs:63:17:63:34 | ...::my_from(...) | | regressions.rs:57:18:57:19 | T2 |
14918+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T | {EXTERNAL LOCATION} | Option |
14919+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T | regressions.rs:57:14:57:15 | T1 |
14920+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T | regressions.rs:57:18:57:19 | T2 |
14921+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T | {EXTERNAL LOCATION} | Option |
14922+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T | regressions.rs:57:14:57:15 | T1 |
14923+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T | regressions.rs:57:18:57:19 | T2 |
14924+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T | {EXTERNAL LOCATION} | Option |
14925+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T | regressions.rs:57:14:57:15 | T1 |
14926+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T | regressions.rs:57:18:57:19 | T2 |
14927+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T | {EXTERNAL LOCATION} | Option |
14928+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14929+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14930+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14931+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14932+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14933+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14934+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14935+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14936+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14937+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14938+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14939+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14940+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14941+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14942+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14943+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14944+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14945+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14946+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14947+
| regressions.rs:63:17:63:34 | ...::my_from(...) | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14948+
| regressions.rs:63:33:63:33 | y | | {EXTERNAL LOCATION} | Option |
14949+
| regressions.rs:63:33:63:33 | y | | regressions.rs:57:14:57:15 | T1 |
14950+
| regressions.rs:63:33:63:33 | y | | regressions.rs:57:18:57:19 | T2 |
14951+
| regressions.rs:63:33:63:33 | y | T | {EXTERNAL LOCATION} | Option |
14952+
| regressions.rs:63:33:63:33 | y | T | regressions.rs:57:14:57:15 | T1 |
14953+
| regressions.rs:63:33:63:33 | y | T | regressions.rs:57:18:57:19 | T2 |
14954+
| regressions.rs:63:33:63:33 | y | T.T | {EXTERNAL LOCATION} | Option |
14955+
| regressions.rs:63:33:63:33 | y | T.T | regressions.rs:57:14:57:15 | T1 |
14956+
| regressions.rs:63:33:63:33 | y | T.T | regressions.rs:57:18:57:19 | T2 |
14957+
| regressions.rs:63:33:63:33 | y | T.T.T | {EXTERNAL LOCATION} | Option |
14958+
| regressions.rs:63:33:63:33 | y | T.T.T | regressions.rs:57:14:57:15 | T1 |
14959+
| regressions.rs:63:33:63:33 | y | T.T.T | regressions.rs:57:18:57:19 | T2 |
14960+
| regressions.rs:63:33:63:33 | y | T.T.T.T | {EXTERNAL LOCATION} | Option |
14961+
| regressions.rs:63:33:63:33 | y | T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14962+
| regressions.rs:63:33:63:33 | y | T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14963+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14964+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14965+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14966+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14967+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14968+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14969+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14970+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14971+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14972+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14973+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14974+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14975+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14976+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14977+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14978+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14979+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14980+
| regressions.rs:63:33:63:33 | y | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14981+
| regressions.rs:64:9:64:9 | z | | {EXTERNAL LOCATION} | Option |
14982+
| regressions.rs:64:9:64:9 | z | | regressions.rs:57:14:57:15 | T1 |
14983+
| regressions.rs:64:9:64:9 | z | | regressions.rs:57:18:57:19 | T2 |
14984+
| regressions.rs:64:9:64:9 | z | T | {EXTERNAL LOCATION} | Option |
14985+
| regressions.rs:64:9:64:9 | z | T | regressions.rs:57:14:57:15 | T1 |
14986+
| regressions.rs:64:9:64:9 | z | T | regressions.rs:57:18:57:19 | T2 |
14987+
| regressions.rs:64:9:64:9 | z | T.T | {EXTERNAL LOCATION} | Option |
14988+
| regressions.rs:64:9:64:9 | z | T.T | regressions.rs:57:14:57:15 | T1 |
14989+
| regressions.rs:64:9:64:9 | z | T.T | regressions.rs:57:18:57:19 | T2 |
14990+
| regressions.rs:64:9:64:9 | z | T.T.T | {EXTERNAL LOCATION} | Option |
14991+
| regressions.rs:64:9:64:9 | z | T.T.T | regressions.rs:57:14:57:15 | T1 |
14992+
| regressions.rs:64:9:64:9 | z | T.T.T | regressions.rs:57:18:57:19 | T2 |
14993+
| regressions.rs:64:9:64:9 | z | T.T.T.T | {EXTERNAL LOCATION} | Option |
14994+
| regressions.rs:64:9:64:9 | z | T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14995+
| regressions.rs:64:9:64:9 | z | T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14996+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T | {EXTERNAL LOCATION} | Option |
14997+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
14998+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
14999+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
15000+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
15001+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
15002+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
15003+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
15004+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
15005+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
15006+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
15007+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
15008+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
15009+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
15010+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
15011+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T.T.T | {EXTERNAL LOCATION} | Option |
15012+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:14:57:15 | T1 |
15013+
| regressions.rs:64:9:64:9 | z | T.T.T.T.T.T.T.T.T.T | regressions.rs:57:18:57:19 | T2 |
1479215014
testFailures

0 commit comments

Comments
 (0)