Skip to content

Commit f670fcb

Browse files
geoffw0geoffw0
committed
Rust: Add a Vec test case that we actually get (explicit type).
1 parent 1622d08 commit f670fcb

File tree

2 files changed

+137
-115
lines changed

2 files changed

+137
-115
lines changed

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

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1934,8 +1934,11 @@ mod loops {
19341934
let vals3 = vec![1, 2, 3]; // $ MISSING: type=vals3:Vec<i32>
19351935
for i in vals3 { } // $ MISSING: type=i:i32
19361936

1937-
let vals4 = [1u16, 2, 3].to_vec(); // $ MISSING: type=vals4:Vec<u16>
1938-
for u in vals4 { } // $ MISSING: type=u:u16
1937+
let vals4a : Vec<u16> = [1u16, 2, 3].to_vec(); // $ MISSING: type=vals4a:Vec<u16>
1938+
for u in vals4a { } // $ type=u:u16
1939+
1940+
let vals4b = [1u16, 2, 3].to_vec(); // $ MISSING: type=vals4b:Vec<u16>
1941+
for u in vals4b { } // $ MISSING: type=u:u16
19391942

19401943
let vals5 = Vec::from([1u32, 2, 3]); // $ MISSING: type=vals5:Vec<u32>
19411944
for u in vals5 { } // $ MISSING: type=u:u32

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

Lines changed: 132 additions & 113 deletions
Original file line numberDiff line numberDiff line change
@@ -2853,117 +2853,136 @@ inferType
28532853
| main.rs:1934:26:1934:26 | 1 | | {EXTERNAL LOCATION} | i32 |
28542854
| main.rs:1934:29:1934:29 | 2 | | {EXTERNAL LOCATION} | i32 |
28552855
| main.rs:1934:32:1934:32 | 3 | | {EXTERNAL LOCATION} | i32 |
2856-
| main.rs:1937:21:1937:32 | [...] | | file://:0:0:0:0 | [] |
2857-
| main.rs:1937:21:1937:32 | [...] | [T;...] | {EXTERNAL LOCATION} | i32 |
2858-
| main.rs:1937:21:1937:32 | [...] | [T;...] | {EXTERNAL LOCATION} | u16 |
2859-
| main.rs:1937:22:1937:25 | 1u16 | | {EXTERNAL LOCATION} | i32 |
2860-
| main.rs:1937:22:1937:25 | 1u16 | | {EXTERNAL LOCATION} | u16 |
2861-
| main.rs:1937:28:1937:28 | 2 | | {EXTERNAL LOCATION} | i32 |
2862-
| main.rs:1937:28:1937:28 | 2 | | {EXTERNAL LOCATION} | u16 |
2863-
| main.rs:1937:31:1937:31 | 3 | | {EXTERNAL LOCATION} | i32 |
2864-
| main.rs:1937:31:1937:31 | 3 | | {EXTERNAL LOCATION} | u16 |
2865-
| main.rs:1940:13:1940:17 | vals5 | | {EXTERNAL LOCATION} | Vec |
2866-
| main.rs:1940:13:1940:17 | vals5 | A | {EXTERNAL LOCATION} | Global |
2867-
| main.rs:1940:13:1940:17 | vals5 | T | {EXTERNAL LOCATION} | u8 |
2868-
| main.rs:1940:21:1940:43 | ...::from(...) | | {EXTERNAL LOCATION} | Vec |
2869-
| main.rs:1940:21:1940:43 | ...::from(...) | A | {EXTERNAL LOCATION} | Global |
2870-
| main.rs:1940:21:1940:43 | ...::from(...) | T | {EXTERNAL LOCATION} | u8 |
2871-
| main.rs:1940:31:1940:42 | [...] | | file://:0:0:0:0 | [] |
2872-
| main.rs:1940:31:1940:42 | [...] | [T;...] | {EXTERNAL LOCATION} | i32 |
2873-
| main.rs:1940:31:1940:42 | [...] | [T;...] | {EXTERNAL LOCATION} | u32 |
2874-
| main.rs:1940:32:1940:35 | 1u32 | | {EXTERNAL LOCATION} | i32 |
2875-
| main.rs:1940:32:1940:35 | 1u32 | | {EXTERNAL LOCATION} | u32 |
2876-
| main.rs:1940:38:1940:38 | 2 | | {EXTERNAL LOCATION} | i32 |
2877-
| main.rs:1940:38:1940:38 | 2 | | {EXTERNAL LOCATION} | u32 |
2878-
| main.rs:1940:41:1940:41 | 3 | | {EXTERNAL LOCATION} | i32 |
2879-
| main.rs:1940:41:1940:41 | 3 | | {EXTERNAL LOCATION} | u32 |
2880-
| main.rs:1941:13:1941:13 | u | | {EXTERNAL LOCATION} | u8 |
2881-
| main.rs:1941:18:1941:22 | vals5 | | {EXTERNAL LOCATION} | Vec |
2882-
| main.rs:1941:18:1941:22 | vals5 | A | {EXTERNAL LOCATION} | Global |
2883-
| main.rs:1941:18:1941:22 | vals5 | T | {EXTERNAL LOCATION} | u8 |
2884-
| main.rs:1943:13:1943:17 | vals6 | | {EXTERNAL LOCATION} | Vec |
2885-
| main.rs:1943:13:1943:17 | vals6 | A | {EXTERNAL LOCATION} | Global |
2886-
| main.rs:1943:13:1943:17 | vals6 | T | file://:0:0:0:0 | & |
2887-
| main.rs:1943:13:1943:17 | vals6 | T.&T | {EXTERNAL LOCATION} | u64 |
2888-
| main.rs:1943:33:1943:44 | [...] | | file://:0:0:0:0 | [] |
2889-
| main.rs:1943:33:1943:44 | [...] | [T;...] | {EXTERNAL LOCATION} | i32 |
2890-
| main.rs:1943:33:1943:44 | [...] | [T;...] | {EXTERNAL LOCATION} | u64 |
2891-
| main.rs:1943:33:1943:61 | ... .collect() | | {EXTERNAL LOCATION} | Vec |
2892-
| main.rs:1943:33:1943:61 | ... .collect() | A | {EXTERNAL LOCATION} | Global |
2893-
| main.rs:1943:33:1943:61 | ... .collect() | T | file://:0:0:0:0 | & |
2894-
| main.rs:1943:33:1943:61 | ... .collect() | T.&T | {EXTERNAL LOCATION} | u64 |
2895-
| main.rs:1943:34:1943:37 | 1u64 | | {EXTERNAL LOCATION} | i32 |
2896-
| main.rs:1943:34:1943:37 | 1u64 | | {EXTERNAL LOCATION} | u64 |
2897-
| main.rs:1943:40:1943:40 | 2 | | {EXTERNAL LOCATION} | i32 |
2898-
| main.rs:1943:40:1943:40 | 2 | | {EXTERNAL LOCATION} | u64 |
2899-
| main.rs:1943:43:1943:43 | 3 | | {EXTERNAL LOCATION} | i32 |
2900-
| main.rs:1943:43:1943:43 | 3 | | {EXTERNAL LOCATION} | u64 |
2901-
| main.rs:1944:13:1944:13 | u | | file://:0:0:0:0 | & |
2902-
| main.rs:1944:13:1944:13 | u | &T | {EXTERNAL LOCATION} | u64 |
2903-
| main.rs:1944:18:1944:22 | vals6 | | {EXTERNAL LOCATION} | Vec |
2904-
| main.rs:1944:18:1944:22 | vals6 | A | {EXTERNAL LOCATION} | Global |
2905-
| main.rs:1944:18:1944:22 | vals6 | T | file://:0:0:0:0 | & |
2906-
| main.rs:1944:18:1944:22 | vals6 | T.&T | {EXTERNAL LOCATION} | u64 |
2907-
| main.rs:1946:13:1946:21 | mut vals7 | | {EXTERNAL LOCATION} | Vec |
2908-
| main.rs:1946:13:1946:21 | mut vals7 | A | {EXTERNAL LOCATION} | Global |
2909-
| main.rs:1946:25:1946:34 | ...::new(...) | | {EXTERNAL LOCATION} | Vec |
2910-
| main.rs:1946:25:1946:34 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
2911-
| main.rs:1947:9:1947:13 | vals7 | | {EXTERNAL LOCATION} | Vec |
2912-
| main.rs:1947:9:1947:13 | vals7 | A | {EXTERNAL LOCATION} | Global |
2913-
| main.rs:1947:20:1947:22 | 1u8 | | {EXTERNAL LOCATION} | u8 |
2914-
| main.rs:1948:18:1948:22 | vals7 | | {EXTERNAL LOCATION} | Vec |
2915-
| main.rs:1948:18:1948:22 | vals7 | A | {EXTERNAL LOCATION} | Global |
2916-
| main.rs:1950:33:1950:33 | 1 | | {EXTERNAL LOCATION} | i32 |
2917-
| main.rs:1950:36:1950:36 | 2 | | {EXTERNAL LOCATION} | i32 |
2918-
| main.rs:1950:45:1950:45 | 3 | | {EXTERNAL LOCATION} | i32 |
2919-
| main.rs:1950:48:1950:48 | 4 | | {EXTERNAL LOCATION} | i32 |
2920-
| main.rs:1956:13:1956:20 | mut map1 | | {EXTERNAL LOCATION} | HashMap |
2921-
| main.rs:1956:13:1956:20 | mut map1 | S | {EXTERNAL LOCATION} | RandomState |
2922-
| main.rs:1956:24:1956:55 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
2923-
| main.rs:1956:24:1956:55 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
2924-
| main.rs:1957:9:1957:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
2925-
| main.rs:1957:9:1957:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2926-
| main.rs:1957:9:1957:39 | map1.insert(...) | | {EXTERNAL LOCATION} | Option |
2927-
| main.rs:1957:21:1957:21 | 1 | | {EXTERNAL LOCATION} | i32 |
2928-
| main.rs:1957:24:1957:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
2929-
| main.rs:1957:24:1957:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
2930-
| main.rs:1957:33:1957:37 | "one" | | {EXTERNAL LOCATION} | str |
2931-
| main.rs:1958:9:1958:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
2932-
| main.rs:1958:9:1958:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2933-
| main.rs:1958:9:1958:39 | map1.insert(...) | | {EXTERNAL LOCATION} | Option |
2934-
| main.rs:1958:21:1958:21 | 2 | | {EXTERNAL LOCATION} | i32 |
2935-
| main.rs:1958:24:1958:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
2936-
| main.rs:1958:24:1958:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
2937-
| main.rs:1958:33:1958:37 | "two" | | {EXTERNAL LOCATION} | str |
2938-
| main.rs:1959:20:1959:23 | map1 | | {EXTERNAL LOCATION} | HashMap |
2939-
| main.rs:1959:20:1959:23 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2940-
| main.rs:1959:20:1959:30 | map1.keys() | | {EXTERNAL LOCATION} | Keys |
2941-
| main.rs:1960:22:1960:25 | map1 | | {EXTERNAL LOCATION} | HashMap |
2942-
| main.rs:1960:22:1960:25 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2943-
| main.rs:1960:22:1960:34 | map1.values() | | {EXTERNAL LOCATION} | Values |
2944-
| main.rs:1961:29:1961:32 | map1 | | {EXTERNAL LOCATION} | HashMap |
2945-
| main.rs:1961:29:1961:32 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2946-
| main.rs:1961:29:1961:39 | map1.iter() | | {EXTERNAL LOCATION} | Iter |
2947-
| main.rs:1962:29:1962:33 | &map1 | | file://:0:0:0:0 | & |
2948-
| main.rs:1962:29:1962:33 | &map1 | &T | {EXTERNAL LOCATION} | HashMap |
2949-
| main.rs:1962:29:1962:33 | &map1 | &T.S | {EXTERNAL LOCATION} | RandomState |
2950-
| main.rs:1962:30:1962:33 | map1 | | {EXTERNAL LOCATION} | HashMap |
2951-
| main.rs:1962:30:1962:33 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2952-
| main.rs:1966:13:1966:17 | mut a | | {EXTERNAL LOCATION} | i32 |
2953-
| main.rs:1966:13:1966:17 | mut a | | {EXTERNAL LOCATION} | i64 |
2954-
| main.rs:1966:26:1966:26 | 0 | | {EXTERNAL LOCATION} | i32 |
2955-
| main.rs:1966:26:1966:26 | 0 | | {EXTERNAL LOCATION} | i64 |
2956-
| main.rs:1967:15:1967:15 | a | | {EXTERNAL LOCATION} | i32 |
2957-
| main.rs:1967:15:1967:15 | a | | {EXTERNAL LOCATION} | i64 |
2958-
| main.rs:1967:15:1967:20 | ... < ... | | {EXTERNAL LOCATION} | bool |
2959-
| main.rs:1967:19:1967:20 | 10 | | {EXTERNAL LOCATION} | i32 |
2960-
| main.rs:1968:13:1968:13 | a | | {EXTERNAL LOCATION} | i32 |
2961-
| main.rs:1968:13:1968:13 | a | | {EXTERNAL LOCATION} | i64 |
2962-
| main.rs:1968:13:1968:18 | ... += ... | | file://:0:0:0:0 | () |
2963-
| main.rs:1968:18:1968:18 | 1 | | {EXTERNAL LOCATION} | i32 |
2964-
| main.rs:1975:5:1975:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
2965-
| main.rs:1976:5:1976:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
2966-
| main.rs:1976:20:1976:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2967-
| main.rs:1976:41:1976:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2968-
| main.rs:1992:5:1992:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
2856+
| main.rs:1937:13:1937:18 | vals4a | | {EXTERNAL LOCATION} | Vec |
2857+
| main.rs:1937:13:1937:18 | vals4a | A | {EXTERNAL LOCATION} | Global |
2858+
| main.rs:1937:13:1937:18 | vals4a | T | {EXTERNAL LOCATION} | u16 |
2859+
| main.rs:1937:33:1937:44 | [...] | | file://:0:0:0:0 | [] |
2860+
| main.rs:1937:33:1937:44 | [...] | [T;...] | {EXTERNAL LOCATION} | i32 |
2861+
| main.rs:1937:33:1937:44 | [...] | [T;...] | {EXTERNAL LOCATION} | u16 |
2862+
| main.rs:1937:33:1937:53 | ... .to_vec() | | {EXTERNAL LOCATION} | Vec |
2863+
| main.rs:1937:33:1937:53 | ... .to_vec() | A | {EXTERNAL LOCATION} | Global |
2864+
| main.rs:1937:33:1937:53 | ... .to_vec() | T | {EXTERNAL LOCATION} | u16 |
2865+
| main.rs:1937:34:1937:37 | 1u16 | | {EXTERNAL LOCATION} | i32 |
2866+
| main.rs:1937:34:1937:37 | 1u16 | | {EXTERNAL LOCATION} | u16 |
2867+
| main.rs:1937:40:1937:40 | 2 | | {EXTERNAL LOCATION} | i32 |
2868+
| main.rs:1937:40:1937:40 | 2 | | {EXTERNAL LOCATION} | u16 |
2869+
| main.rs:1937:43:1937:43 | 3 | | {EXTERNAL LOCATION} | i32 |
2870+
| main.rs:1937:43:1937:43 | 3 | | {EXTERNAL LOCATION} | u16 |
2871+
| main.rs:1938:13:1938:13 | u | | {EXTERNAL LOCATION} | u16 |
2872+
| main.rs:1938:18:1938:23 | vals4a | | {EXTERNAL LOCATION} | Vec |
2873+
| main.rs:1938:18:1938:23 | vals4a | A | {EXTERNAL LOCATION} | Global |
2874+
| main.rs:1938:18:1938:23 | vals4a | T | {EXTERNAL LOCATION} | u16 |
2875+
| main.rs:1940:22:1940:33 | [...] | | file://:0:0:0:0 | [] |
2876+
| main.rs:1940:22:1940:33 | [...] | [T;...] | {EXTERNAL LOCATION} | i32 |
2877+
| main.rs:1940:22:1940:33 | [...] | [T;...] | {EXTERNAL LOCATION} | u16 |
2878+
| main.rs:1940:23:1940:26 | 1u16 | | {EXTERNAL LOCATION} | i32 |
2879+
| main.rs:1940:23:1940:26 | 1u16 | | {EXTERNAL LOCATION} | u16 |
2880+
| main.rs:1940:29:1940:29 | 2 | | {EXTERNAL LOCATION} | i32 |
2881+
| main.rs:1940:29:1940:29 | 2 | | {EXTERNAL LOCATION} | u16 |
2882+
| main.rs:1940:32:1940:32 | 3 | | {EXTERNAL LOCATION} | i32 |
2883+
| main.rs:1940:32:1940:32 | 3 | | {EXTERNAL LOCATION} | u16 |
2884+
| main.rs:1943:13:1943:17 | vals5 | | {EXTERNAL LOCATION} | Vec |
2885+
| main.rs:1943:13:1943:17 | vals5 | A | {EXTERNAL LOCATION} | Global |
2886+
| main.rs:1943:13:1943:17 | vals5 | T | {EXTERNAL LOCATION} | u8 |
2887+
| main.rs:1943:21:1943:43 | ...::from(...) | | {EXTERNAL LOCATION} | Vec |
2888+
| main.rs:1943:21:1943:43 | ...::from(...) | A | {EXTERNAL LOCATION} | Global |
2889+
| main.rs:1943:21:1943:43 | ...::from(...) | T | {EXTERNAL LOCATION} | u8 |
2890+
| main.rs:1943:31:1943:42 | [...] | | file://:0:0:0:0 | [] |
2891+
| main.rs:1943:31:1943:42 | [...] | [T;...] | {EXTERNAL LOCATION} | i32 |
2892+
| main.rs:1943:31:1943:42 | [...] | [T;...] | {EXTERNAL LOCATION} | u32 |
2893+
| main.rs:1943:32:1943:35 | 1u32 | | {EXTERNAL LOCATION} | i32 |
2894+
| main.rs:1943:32:1943:35 | 1u32 | | {EXTERNAL LOCATION} | u32 |
2895+
| main.rs:1943:38:1943:38 | 2 | | {EXTERNAL LOCATION} | i32 |
2896+
| main.rs:1943:38:1943:38 | 2 | | {EXTERNAL LOCATION} | u32 |
2897+
| main.rs:1943:41:1943:41 | 3 | | {EXTERNAL LOCATION} | i32 |
2898+
| main.rs:1943:41:1943:41 | 3 | | {EXTERNAL LOCATION} | u32 |
2899+
| main.rs:1944:13:1944:13 | u | | {EXTERNAL LOCATION} | u8 |
2900+
| main.rs:1944:18:1944:22 | vals5 | | {EXTERNAL LOCATION} | Vec |
2901+
| main.rs:1944:18:1944:22 | vals5 | A | {EXTERNAL LOCATION} | Global |
2902+
| main.rs:1944:18:1944:22 | vals5 | T | {EXTERNAL LOCATION} | u8 |
2903+
| main.rs:1946:13:1946:17 | vals6 | | {EXTERNAL LOCATION} | Vec |
2904+
| main.rs:1946:13:1946:17 | vals6 | A | {EXTERNAL LOCATION} | Global |
2905+
| main.rs:1946:13:1946:17 | vals6 | T | file://:0:0:0:0 | & |
2906+
| main.rs:1946:13:1946:17 | vals6 | T.&T | {EXTERNAL LOCATION} | u64 |
2907+
| main.rs:1946:33:1946:44 | [...] | | file://:0:0:0:0 | [] |
2908+
| main.rs:1946:33:1946:44 | [...] | [T;...] | {EXTERNAL LOCATION} | i32 |
2909+
| main.rs:1946:33:1946:44 | [...] | [T;...] | {EXTERNAL LOCATION} | u64 |
2910+
| main.rs:1946:33:1946:61 | ... .collect() | | {EXTERNAL LOCATION} | Vec |
2911+
| main.rs:1946:33:1946:61 | ... .collect() | A | {EXTERNAL LOCATION} | Global |
2912+
| main.rs:1946:33:1946:61 | ... .collect() | T | file://:0:0:0:0 | & |
2913+
| main.rs:1946:33:1946:61 | ... .collect() | T.&T | {EXTERNAL LOCATION} | u64 |
2914+
| main.rs:1946:34:1946:37 | 1u64 | | {EXTERNAL LOCATION} | i32 |
2915+
| main.rs:1946:34:1946:37 | 1u64 | | {EXTERNAL LOCATION} | u64 |
2916+
| main.rs:1946:40:1946:40 | 2 | | {EXTERNAL LOCATION} | i32 |
2917+
| main.rs:1946:40:1946:40 | 2 | | {EXTERNAL LOCATION} | u64 |
2918+
| main.rs:1946:43:1946:43 | 3 | | {EXTERNAL LOCATION} | i32 |
2919+
| main.rs:1946:43:1946:43 | 3 | | {EXTERNAL LOCATION} | u64 |
2920+
| main.rs:1947:13:1947:13 | u | | file://:0:0:0:0 | & |
2921+
| main.rs:1947:13:1947:13 | u | &T | {EXTERNAL LOCATION} | u64 |
2922+
| main.rs:1947:18:1947:22 | vals6 | | {EXTERNAL LOCATION} | Vec |
2923+
| main.rs:1947:18:1947:22 | vals6 | A | {EXTERNAL LOCATION} | Global |
2924+
| main.rs:1947:18:1947:22 | vals6 | T | file://:0:0:0:0 | & |
2925+
| main.rs:1947:18:1947:22 | vals6 | T.&T | {EXTERNAL LOCATION} | u64 |
2926+
| main.rs:1949:13:1949:21 | mut vals7 | | {EXTERNAL LOCATION} | Vec |
2927+
| main.rs:1949:13:1949:21 | mut vals7 | A | {EXTERNAL LOCATION} | Global |
2928+
| main.rs:1949:25:1949:34 | ...::new(...) | | {EXTERNAL LOCATION} | Vec |
2929+
| main.rs:1949:25:1949:34 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
2930+
| main.rs:1950:9:1950:13 | vals7 | | {EXTERNAL LOCATION} | Vec |
2931+
| main.rs:1950:9:1950:13 | vals7 | A | {EXTERNAL LOCATION} | Global |
2932+
| main.rs:1950:20:1950:22 | 1u8 | | {EXTERNAL LOCATION} | u8 |
2933+
| main.rs:1951:18:1951:22 | vals7 | | {EXTERNAL LOCATION} | Vec |
2934+
| main.rs:1951:18:1951:22 | vals7 | A | {EXTERNAL LOCATION} | Global |
2935+
| main.rs:1953:33:1953:33 | 1 | | {EXTERNAL LOCATION} | i32 |
2936+
| main.rs:1953:36:1953:36 | 2 | | {EXTERNAL LOCATION} | i32 |
2937+
| main.rs:1953:45:1953:45 | 3 | | {EXTERNAL LOCATION} | i32 |
2938+
| main.rs:1953:48:1953:48 | 4 | | {EXTERNAL LOCATION} | i32 |
2939+
| main.rs:1959:13:1959:20 | mut map1 | | {EXTERNAL LOCATION} | HashMap |
2940+
| main.rs:1959:13:1959:20 | mut map1 | S | {EXTERNAL LOCATION} | RandomState |
2941+
| main.rs:1959:24:1959:55 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
2942+
| main.rs:1959:24:1959:55 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
2943+
| main.rs:1960:9:1960:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
2944+
| main.rs:1960:9:1960:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2945+
| main.rs:1960:9:1960:39 | map1.insert(...) | | {EXTERNAL LOCATION} | Option |
2946+
| main.rs:1960:21:1960:21 | 1 | | {EXTERNAL LOCATION} | i32 |
2947+
| main.rs:1960:24:1960:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
2948+
| main.rs:1960:24:1960:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
2949+
| main.rs:1960:33:1960:37 | "one" | | {EXTERNAL LOCATION} | str |
2950+
| main.rs:1961:9:1961:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
2951+
| main.rs:1961:9:1961:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2952+
| main.rs:1961:9:1961:39 | map1.insert(...) | | {EXTERNAL LOCATION} | Option |
2953+
| main.rs:1961:21:1961:21 | 2 | | {EXTERNAL LOCATION} | i32 |
2954+
| main.rs:1961:24:1961:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
2955+
| main.rs:1961:24:1961:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
2956+
| main.rs:1961:33:1961:37 | "two" | | {EXTERNAL LOCATION} | str |
2957+
| main.rs:1962:20:1962:23 | map1 | | {EXTERNAL LOCATION} | HashMap |
2958+
| main.rs:1962:20:1962:23 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2959+
| main.rs:1962:20:1962:30 | map1.keys() | | {EXTERNAL LOCATION} | Keys |
2960+
| main.rs:1963:22:1963:25 | map1 | | {EXTERNAL LOCATION} | HashMap |
2961+
| main.rs:1963:22:1963:25 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2962+
| main.rs:1963:22:1963:34 | map1.values() | | {EXTERNAL LOCATION} | Values |
2963+
| main.rs:1964:29:1964:32 | map1 | | {EXTERNAL LOCATION} | HashMap |
2964+
| main.rs:1964:29:1964:32 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2965+
| main.rs:1964:29:1964:39 | map1.iter() | | {EXTERNAL LOCATION} | Iter |
2966+
| main.rs:1965:29:1965:33 | &map1 | | file://:0:0:0:0 | & |
2967+
| main.rs:1965:29:1965:33 | &map1 | &T | {EXTERNAL LOCATION} | HashMap |
2968+
| main.rs:1965:29:1965:33 | &map1 | &T.S | {EXTERNAL LOCATION} | RandomState |
2969+
| main.rs:1965:30:1965:33 | map1 | | {EXTERNAL LOCATION} | HashMap |
2970+
| main.rs:1965:30:1965:33 | map1 | S | {EXTERNAL LOCATION} | RandomState |
2971+
| main.rs:1969:13:1969:17 | mut a | | {EXTERNAL LOCATION} | i32 |
2972+
| main.rs:1969:13:1969:17 | mut a | | {EXTERNAL LOCATION} | i64 |
2973+
| main.rs:1969:26:1969:26 | 0 | | {EXTERNAL LOCATION} | i32 |
2974+
| main.rs:1969:26:1969:26 | 0 | | {EXTERNAL LOCATION} | i64 |
2975+
| main.rs:1970:15:1970:15 | a | | {EXTERNAL LOCATION} | i32 |
2976+
| main.rs:1970:15:1970:15 | a | | {EXTERNAL LOCATION} | i64 |
2977+
| main.rs:1970:15:1970:20 | ... < ... | | {EXTERNAL LOCATION} | bool |
2978+
| main.rs:1970:19:1970:20 | 10 | | {EXTERNAL LOCATION} | i32 |
2979+
| main.rs:1971:13:1971:13 | a | | {EXTERNAL LOCATION} | i32 |
2980+
| main.rs:1971:13:1971:13 | a | | {EXTERNAL LOCATION} | i64 |
2981+
| main.rs:1971:13:1971:18 | ... += ... | | file://:0:0:0:0 | () |
2982+
| main.rs:1971:18:1971:18 | 1 | | {EXTERNAL LOCATION} | i32 |
2983+
| main.rs:1978:5:1978:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
2984+
| main.rs:1979:5:1979:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
2985+
| main.rs:1979:20:1979:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2986+
| main.rs:1979:41:1979:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2987+
| main.rs:1995:5:1995:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
29692988
testFailures

0 commit comments

Comments
 (0)