11models
2- | 1 | Summary: <core::i64 as core::clone::Clone >::clone ; Argument[self].Reference ; ReturnValue; value |
3- | 2 | Summary: <core::option::Option >::unwrap ; Argument[self].Field[core::option::Option::Some(0) ]; ReturnValue; value |
4- | 3 | Summary: <core::option::Option >::zip ; Argument[0].Field[core::option::Option::Some(0)] ; ReturnValue.Field[core::option::Option::Some(0)].Field[1] ; value |
5- | 4 | Summary: <core::pin::Pin >::into_inner ; Argument[0].Field[core::pin::Pin::__pointer] ; ReturnValue; value |
6- | 5 | Summary: <core::pin::Pin >::new ; Argument[0]; ReturnValue .Field[core::pin::Pin::__pointer] ; value |
7- | 6 | Summary: <core::result::Result >::unwrap ; Argument[self ].Field[core::result::Result::Ok (0)]; ReturnValue; value |
8- | 7 | Summary: lang:alloc; <crate::boxed::Box >::into_pin ; Argument[0]; ReturnValue; value |
9- | 8 | Summary: lang:alloc; <crate::boxed::Box >::new ; Argument[0]; ReturnValue.Reference ; value |
10- | 9 | Summary: lang:alloc; <crate::boxed::Box >::pin ; Argument[0]; ReturnValue.Reference ; value |
11- | 10 | Summary: lang:core; <crate ::pin::Pin>::into_inner ; Argument[0]; ReturnValue; value |
12- | 11 | Summary: lang:core; <crate::pin::Pin >::new ; Argument[0 ]; ReturnValue; value |
13- | 12 | Summary: lang: core; crate ::ptr::read; Argument[0].Reference; ReturnValue; value |
14- | 13 | Summary: lang: core; crate ::ptr::write; Argument[1]; Argument[0].Reference; value |
2+ | 1 | Summary: <alloc::boxed::Box >::into_pin ; Argument[0] ; ReturnValue; value |
3+ | 2 | Summary: <alloc::boxed::Box >::new ; Argument[0 ]; ReturnValue.Reference ; value |
4+ | 3 | Summary: <alloc::boxed::Box >::pin ; Argument[0]; ReturnValue.Reference ; value |
5+ | 4 | Summary: <core::i64 as core::clone::Clone >::clone ; Argument[self].Reference ; ReturnValue; value |
6+ | 5 | Summary: <core::option::Option >::unwrap ; Argument[self] .Field[core::option::Option::Some(0)]; ReturnValue ; value |
7+ | 6 | Summary: <core::option::Option >::zip ; Argument[0 ].Field[core::option::Option::Some (0)]; ReturnValue.Field[core::option::Option::Some(0)].Field[1] ; value |
8+ | 7 | Summary: <core::pin::Pin >::into_inner ; Argument[0].Field[core::pin::Pin::__pointer ]; ReturnValue; value |
9+ | 8 | Summary: <core::pin::Pin >::into_inner ; Argument[0]; ReturnValue; value |
10+ | 9 | Summary: <core::pin::Pin >::new ; Argument[0]; ReturnValue.Field[core::pin::Pin::__pointer] ; value |
11+ | 10 | Summary: <core ::pin::Pin>::new ; Argument[0]; ReturnValue; value |
12+ | 11 | Summary: <core::result::Result >::unwrap ; Argument[self].Field[core::result::Result::Ok(0) ]; ReturnValue; value |
13+ | 12 | Summary: core::ptr::read; Argument[0].Reference; ReturnValue; value |
14+ | 13 | Summary: core::ptr::write; Argument[1]; Argument[0].Reference; value |
1515edges
16- | main.rs:12:9:12:9 | a [Some] | main.rs:13:10:13:19 | a.unwrap() | provenance | MaD:2 |
16+ | main.rs:12:9:12:9 | a [Some] | main.rs:13:10:13:19 | a.unwrap() | provenance | MaD:5 |
1717| main.rs:12:9:12:9 | a [Some] | main.rs:14:13:14:13 | a [Some] | provenance | |
1818| main.rs:12:13:12:28 | Some(...) [Some] | main.rs:12:9:12:9 | a [Some] | provenance | |
1919| main.rs:12:18:12:27 | source(...) | main.rs:12:13:12:28 | Some(...) [Some] | provenance | |
20- | main.rs:14:9:14:9 | b [Some] | main.rs:15:10:15:19 | b.unwrap() | provenance | MaD:2 |
20+ | main.rs:14:9:14:9 | b [Some] | main.rs:15:10:15:19 | b.unwrap() | provenance | MaD:5 |
2121| main.rs:14:13:14:13 | a [Some] | main.rs:14:13:14:21 | a.clone() [Some] | provenance | generated |
2222| main.rs:14:13:14:21 | a.clone() [Some] | main.rs:14:9:14:9 | b [Some] | provenance | |
23- | main.rs:19:9:19:9 | a [Ok] | main.rs:20:10:20:19 | a.unwrap() | provenance | MaD:6 |
23+ | main.rs:19:9:19:9 | a [Ok] | main.rs:20:10:20:19 | a.unwrap() | provenance | MaD:11 |
2424| main.rs:19:9:19:9 | a [Ok] | main.rs:21:13:21:13 | a [Ok] | provenance | |
2525| main.rs:19:31:19:44 | Ok(...) [Ok] | main.rs:19:9:19:9 | a [Ok] | provenance | |
2626| main.rs:19:34:19:43 | source(...) | main.rs:19:31:19:44 | Ok(...) [Ok] | provenance | |
27- | main.rs:21:9:21:9 | b [Ok] | main.rs:22:10:22:19 | b.unwrap() | provenance | MaD:6 |
27+ | main.rs:21:9:21:9 | b [Ok] | main.rs:22:10:22:19 | b.unwrap() | provenance | MaD:11 |
2828| main.rs:21:13:21:13 | a [Ok] | main.rs:21:13:21:21 | a.clone() [Ok] | provenance | generated |
2929| main.rs:21:13:21:21 | a.clone() [Ok] | main.rs:21:9:21:9 | b [Ok] | provenance | |
3030| main.rs:26:9:26:9 | a | main.rs:27:10:27:10 | a | provenance | |
3131| main.rs:26:9:26:9 | a | main.rs:28:13:28:13 | a | provenance | |
3232| main.rs:26:13:26:22 | source(...) | main.rs:26:9:26:9 | a | provenance | |
3333| main.rs:28:9:28:9 | b | main.rs:29:10:29:10 | b | provenance | |
34- | main.rs:28:13:28:13 | a | main.rs:28:13:28:21 | a.clone() | provenance | MaD:1 |
34+ | main.rs:28:13:28:13 | a | main.rs:28:13:28:21 | a.clone() | provenance | MaD:4 |
3535| main.rs:28:13:28:13 | a | main.rs:28:13:28:21 | a.clone() | provenance | generated |
3636| main.rs:28:13:28:21 | a.clone() | main.rs:28:9:28:9 | b | provenance | |
3737| main.rs:43:18:43:22 | SelfParam [Wrapper] | main.rs:44:26:44:29 | self [Wrapper] | provenance | |
5858| main.rs:66:22:66:31 | source(...) | main.rs:66:17:66:32 | Some(...) [Some] | provenance | |
5959| main.rs:67:13:67:13 | z [Some, tuple.1] | main.rs:68:15:68:15 | z [Some, tuple.1] | provenance | |
6060| main.rs:67:17:67:24 | a.zip(...) [Some, tuple.1] | main.rs:67:13:67:13 | z [Some, tuple.1] | provenance | |
61- | main.rs:67:23:67:23 | b [Some] | main.rs:67:17:67:24 | a.zip(...) [Some, tuple.1] | provenance | MaD:3 |
61+ | main.rs:67:23:67:23 | b [Some] | main.rs:67:17:67:24 | a.zip(...) [Some, tuple.1] | provenance | MaD:6 |
6262| main.rs:68:15:68:15 | z [Some, tuple.1] | main.rs:69:13:69:24 | Some(...) [Some, tuple.1] | provenance | |
6363| main.rs:69:13:69:24 | Some(...) [Some, tuple.1] | main.rs:69:18:69:23 | TuplePat [tuple.1] | provenance | |
6464| main.rs:69:18:69:23 | TuplePat [tuple.1] | main.rs:69:22:69:22 | m | provenance | |
@@ -76,20 +76,20 @@ edges
7676| main.rs:109:13:109:20 | mut pin1 [Pin, &ref] | main.rs:115:31:115:34 | pin1 [Pin, &ref] | provenance | |
7777| main.rs:109:24:109:35 | ...::new(...) [&ref] | main.rs:109:13:109:20 | mut pin1 [&ref] | provenance | |
7878| main.rs:109:24:109:35 | ...::new(...) [Pin, &ref] | main.rs:109:13:109:20 | mut pin1 [Pin, &ref] | provenance | |
79- | main.rs:109:33:109:34 | &i [&ref] | main.rs:109:24:109:35 | ...::new(...) [&ref] | provenance | MaD:11 |
80- | main.rs:109:33:109:34 | &i [&ref] | main.rs:109:24:109:35 | ...::new(...) [Pin, &ref] | provenance | MaD:5 |
79+ | main.rs:109:33:109:34 | &i [&ref] | main.rs:109:24:109:35 | ...::new(...) [&ref] | provenance | MaD:10 |
80+ | main.rs:109:33:109:34 | &i [&ref] | main.rs:109:24:109:35 | ...::new(...) [Pin, &ref] | provenance | MaD:9 |
8181| main.rs:109:34:109:34 | i | main.rs:109:33:109:34 | &i [&ref] | provenance | |
8282| main.rs:110:13:110:20 | mut pin2 [&ref] | main.rs:116:15:116:18 | pin2 [&ref] | provenance | |
8383| main.rs:110:24:110:34 | ...::pin(...) [&ref] | main.rs:110:13:110:20 | mut pin2 [&ref] | provenance | |
84- | main.rs:110:33:110:33 | i | main.rs:110:24:110:34 | ...::pin(...) [&ref] | provenance | MaD:9 |
84+ | main.rs:110:33:110:33 | i | main.rs:110:24:110:34 | ...::pin(...) [&ref] | provenance | MaD:3 |
8585| main.rs:111:13:111:20 | mut pin3 [&ref] | main.rs:117:15:117:18 | pin3 [&ref] | provenance | |
8686| main.rs:111:24:111:49 | ...::into_pin(...) [&ref] | main.rs:111:13:111:20 | mut pin3 [&ref] | provenance | |
87- | main.rs:111:38:111:48 | ...::new(...) [&ref] | main.rs:111:24:111:49 | ...::into_pin(...) [&ref] | provenance | MaD:7 |
88- | main.rs:111:47:111:47 | i | main.rs:111:38:111:48 | ...::new(...) [&ref] | provenance | MaD:8 |
87+ | main.rs:111:38:111:48 | ...::new(...) [&ref] | main.rs:111:24:111:49 | ...::into_pin(...) [&ref] | provenance | MaD:1 |
88+ | main.rs:111:47:111:47 | i | main.rs:111:38:111:48 | ...::new(...) [&ref] | provenance | MaD:2 |
8989| main.rs:114:15:114:18 | pin1 [&ref] | main.rs:114:14:114:18 | * ... | provenance | |
9090| main.rs:115:15:115:35 | ...::into_inner(...) [&ref] | main.rs:115:14:115:35 | * ... | provenance | |
91- | main.rs:115:31:115:34 | pin1 [&ref] | main.rs:115:15:115:35 | ...::into_inner(...) [&ref] | provenance | MaD:10 |
92- | main.rs:115:31:115:34 | pin1 [Pin, &ref] | main.rs:115:15:115:35 | ...::into_inner(...) [&ref] | provenance | MaD:4 |
91+ | main.rs:115:31:115:34 | pin1 [&ref] | main.rs:115:15:115:35 | ...::into_inner(...) [&ref] | provenance | MaD:8 |
92+ | main.rs:115:31:115:34 | pin1 [Pin, &ref] | main.rs:115:15:115:35 | ...::into_inner(...) [&ref] | provenance | MaD:7 |
9393| main.rs:116:15:116:18 | pin2 [&ref] | main.rs:116:14:116:18 | * ... | provenance | |
9494| main.rs:117:15:117:18 | pin3 [&ref] | main.rs:117:14:117:18 | * ... | provenance | |
9595| main.rs:122:13:122:18 | mut ms [MyStruct] | main.rs:127:14:127:15 | ms [MyStruct] | provenance | |
0 commit comments