inline-flow.expected

models
| 1 | Summary: <& as core::ops::deref::Deref>::deref; Argument[self].Reference; ReturnValue; value |
| 2 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[self]; ReturnValue; taint |
| 3 | Summary: futures_executor::local_pool::block_on; Argument[0]; ReturnValue; value |
edges
| main.rs:12:28:14:1 | { ... } | main.rs:17:13:17:23 | get_data(...) | provenance |  |
| main.rs:13:5:13:13 | source(...) | main.rs:12:28:14:1 | { ... } | provenance |  |
| main.rs:17:9:17:9 | a | main.rs:18:10:18:10 | a | provenance |  |
| main.rs:17:13:17:23 | get_data(...) | main.rs:17:9:17:9 | a | provenance |  |
| main.rs:26:28:26:33 | ...: i64 | main.rs:27:21:27:21 | n | provenance |  |
| main.rs:27:9:27:12 | [post] self [&ref, MyStruct] | main.rs:26:17:26:25 | SelfParam [Return] [&ref, MyStruct] | provenance |  |
| main.rs:27:21:27:21 | n | main.rs:27:9:27:12 | [post] self [&ref, MyStruct] | provenance |  |
| main.rs:30:17:30:21 | SelfParam [&ref, MyStruct] | main.rs:31:9:31:12 | self [&ref, MyStruct] | provenance |  |
| main.rs:31:9:31:12 | self [&ref, MyStruct] | main.rs:31:9:31:17 | self.data | provenance |  |
| main.rs:31:9:31:17 | self.data | main.rs:30:31:32:5 | { ... } | provenance |  |
| main.rs:38:6:38:11 | [post] &mut a [&ref, MyStruct] | main.rs:38:11:38:11 | [post] a [MyStruct] | provenance |  |
| main.rs:38:11:38:11 | [post] a [MyStruct] | main.rs:39:10:39:10 | a [MyStruct] | provenance |  |
| main.rs:38:23:38:31 | source(...) | main.rs:26:28:26:33 | ...: i64 | provenance |  |
| main.rs:38:23:38:31 | source(...) | main.rs:38:6:38:11 | [post] &mut a [&ref, MyStruct] | provenance |  |
| main.rs:39:10:39:10 | a [MyStruct] | main.rs:30:17:30:21 | SelfParam [&ref, MyStruct] | provenance |  |
| main.rs:39:10:39:10 | a [MyStruct] | main.rs:39:10:39:21 | a.get_data() | provenance |  |
| main.rs:46:9:46:14 | [post] &mut a [&ref, MyStruct] | main.rs:46:14:46:14 | [post] a [MyStruct] | provenance |  |
| main.rs:46:14:46:14 | [post] a [MyStruct] | main.rs:49:10:49:10 | a [MyStruct] | provenance |  |
| main.rs:48:15:48:23 | source(...) | main.rs:26:28:26:33 | ...: i64 | provenance |  |
| main.rs:48:15:48:23 | source(...) | main.rs:46:9:46:14 | [post] &mut a [&ref, MyStruct] | provenance |  |
| main.rs:49:10:49:10 | a [MyStruct] | main.rs:30:17:30:21 | SelfParam [&ref, MyStruct] | provenance |  |
| main.rs:49:10:49:10 | a [MyStruct] | main.rs:49:10:49:21 | a.get_data() | provenance |  |
| main.rs:52:12:52:17 | ...: i64 | main.rs:53:10:53:10 | n | provenance |  |
| main.rs:57:9:57:9 | a | main.rs:58:13:58:13 | a | provenance |  |
| main.rs:57:13:57:21 | source(...) | main.rs:57:9:57:9 | a | provenance |  |
| main.rs:58:13:58:13 | a | main.rs:52:12:52:17 | ...: i64 | provenance |  |
| main.rs:61:17:61:22 | ...: i64 | main.rs:61:32:63:1 | { ... } | provenance |  |
| main.rs:66:9:66:9 | a | main.rs:67:26:67:26 | a | provenance |  |
| main.rs:66:13:66:21 | source(...) | main.rs:66:9:66:9 | a | provenance |  |
| main.rs:67:9:67:9 | b | main.rs:68:10:68:10 | b | provenance |  |
| main.rs:67:13:67:27 | pass_through(...) | main.rs:67:9:67:9 | b | provenance |  |
| main.rs:67:26:67:26 | a | main.rs:61:17:61:22 | ...: i64 | provenance |  |
| main.rs:67:26:67:26 | a | main.rs:67:13:67:27 | pass_through(...) | provenance |  |
| main.rs:72:9:72:9 | a | main.rs:76:10:76:10 | a | provenance |  |
| main.rs:72:13:75:6 | pass_through(...) | main.rs:72:9:72:9 | a | provenance |  |
| main.rs:72:26:75:5 | { ... } | main.rs:61:17:61:22 | ...: i64 | provenance |  |
| main.rs:72:26:75:5 | { ... } | main.rs:72:13:75:6 | pass_through(...) | provenance |  |
| main.rs:74:9:74:18 | source(...) | main.rs:72:26:75:5 | { ... } | provenance |  |
| main.rs:80:9:80:9 | a | main.rs:86:26:86:26 | a | provenance |  |
| main.rs:80:13:80:22 | source(...) | main.rs:80:9:80:9 | a | provenance |  |
| main.rs:82:21:82:26 | ...: i64 | main.rs:82:36:84:5 | { ... } | provenance |  |
| main.rs:86:9:86:9 | b | main.rs:87:10:87:10 | b | provenance |  |
| main.rs:86:13:86:27 | pass_through(...) | main.rs:86:9:86:9 | b | provenance |  |
| main.rs:86:26:86:26 | a | main.rs:82:21:82:26 | ...: i64 | provenance |  |
| main.rs:86:26:86:26 | a | main.rs:86:13:86:27 | pass_through(...) | provenance |  |
| main.rs:104:22:104:27 | ...: i64 | main.rs:105:14:105:14 | n | provenance |  |
| main.rs:108:30:114:5 | { ... } | main.rs:154:13:154:25 | mn.get_data() | provenance |  |
| main.rs:112:13:112:21 | source(...) | main.rs:108:30:114:5 | { ... } | provenance |  |
| main.rs:116:27:116:32 | ...: i64 | main.rs:116:42:122:5 | { ... } | provenance |  |
| main.rs:126:28:126:33 | ...: i64 | main.rs:127:14:127:14 | n | provenance |  |
| main.rs:130:36:136:5 | { ... } | main.rs:148:13:148:30 | x.get_data_trait() | provenance |  |
| main.rs:130:36:136:5 | { ... } | main.rs:158:13:158:31 | mn.get_data_trait() | provenance |  |
| main.rs:134:13:134:22 | source(...) | main.rs:130:36:136:5 | { ... } | provenance |  |
| main.rs:138:33:138:38 | ...: i64 | main.rs:138:48:144:5 | { ... } | provenance |  |
| main.rs:148:9:148:9 | a | main.rs:149:10:149:10 | a | provenance |  |
| main.rs:148:13:148:30 | x.get_data_trait() | main.rs:148:9:148:9 | a | provenance |  |
| main.rs:154:9:154:9 | a | main.rs:155:10:155:10 | a | provenance |  |
| main.rs:154:13:154:25 | mn.get_data() | main.rs:154:9:154:9 | a | provenance |  |
| main.rs:158:9:158:9 | a | main.rs:159:10:159:10 | a | provenance |  |
| main.rs:158:13:158:31 | mn.get_data_trait() | main.rs:158:9:158:9 | a | provenance |  |
| main.rs:165:9:165:9 | a | main.rs:166:21:166:21 | a | provenance |  |
| main.rs:165:13:165:22 | source(...) | main.rs:165:9:165:9 | a | provenance |  |
| main.rs:166:21:166:21 | a | main.rs:126:28:126:33 | ...: i64 | provenance |  |
| main.rs:171:9:171:9 | a | main.rs:172:16:172:16 | a | provenance |  |
| main.rs:171:13:171:21 | source(...) | main.rs:171:9:171:9 | a | provenance |  |
| main.rs:172:16:172:16 | a | main.rs:104:22:104:27 | ...: i64 | provenance |  |
| main.rs:175:9:175:9 | a | main.rs:176:22:176:22 | a | provenance |  |
| main.rs:175:13:175:22 | source(...) | main.rs:175:9:175:9 | a | provenance |  |
| main.rs:176:22:176:22 | a | main.rs:126:28:126:33 | ...: i64 | provenance |  |
| main.rs:182:9:182:9 | a | main.rs:183:34:183:34 | a | provenance |  |
| main.rs:182:13:182:22 | source(...) | main.rs:182:9:182:9 | a | provenance |  |
| main.rs:183:9:183:9 | b | main.rs:184:10:184:10 | b | provenance |  |
| main.rs:183:13:183:35 | x.data_through_trait(...) | main.rs:183:9:183:9 | b | provenance |  |
| main.rs:183:34:183:34 | a | main.rs:138:33:138:38 | ...: i64 | provenance |  |
| main.rs:183:34:183:34 | a | main.rs:183:13:183:35 | x.data_through_trait(...) | provenance |  |
| main.rs:189:9:189:9 | a | main.rs:190:29:190:29 | a | provenance |  |
| main.rs:189:13:189:21 | source(...) | main.rs:189:9:189:9 | a | provenance |  |
| main.rs:190:9:190:9 | b | main.rs:191:10:191:10 | b | provenance |  |
| main.rs:190:13:190:30 | mn.data_through(...) | main.rs:190:9:190:9 | b | provenance |  |
| main.rs:190:29:190:29 | a | main.rs:116:27:116:32 | ...: i64 | provenance |  |
| main.rs:190:29:190:29 | a | main.rs:190:13:190:30 | mn.data_through(...) | provenance |  |
| main.rs:194:9:194:9 | a | main.rs:195:35:195:35 | a | provenance |  |
| main.rs:194:13:194:22 | source(...) | main.rs:194:9:194:9 | a | provenance |  |
| main.rs:195:9:195:9 | b | main.rs:196:10:196:10 | b | provenance |  |
| main.rs:195:13:195:36 | mn.data_through_trait(...) | main.rs:195:9:195:9 | b | provenance |  |
| main.rs:195:35:195:35 | a | main.rs:138:33:138:38 | ...: i64 | provenance |  |
| main.rs:195:35:195:35 | a | main.rs:195:13:195:36 | mn.data_through_trait(...) | provenance |  |
| main.rs:203:9:203:9 | a | main.rs:204:25:204:25 | a | provenance |  |
| main.rs:203:13:203:21 | source(...) | main.rs:203:9:203:9 | a | provenance |  |
| main.rs:204:25:204:25 | a | main.rs:104:22:104:27 | ...: i64 | provenance |  |
| main.rs:209:9:209:9 | a | main.rs:210:38:210:38 | a | provenance |  |
| main.rs:209:13:209:22 | source(...) | main.rs:209:9:209:9 | a | provenance |  |
| main.rs:210:9:210:9 | b | main.rs:211:10:211:10 | b | provenance |  |
| main.rs:210:13:210:39 | ...::data_through(...) | main.rs:210:9:210:9 | b | provenance |  |
| main.rs:210:38:210:38 | a | main.rs:116:27:116:32 | ...: i64 | provenance |  |
| main.rs:210:38:210:38 | a | main.rs:210:13:210:39 | ...::data_through(...) | provenance |  |
| main.rs:222:12:222:17 | ...: i64 | main.rs:223:24:223:24 | n | provenance |  |
| main.rs:223:9:223:26 | MyInt {...} [MyInt] | main.rs:222:28:224:5 | { ... } [MyInt] | provenance |  |
| main.rs:223:24:223:24 | n | main.rs:223:9:223:26 | MyInt {...} [MyInt] | provenance |  |
| main.rs:228:9:228:9 | n [MyInt] | main.rs:229:9:229:26 | MyInt {...} [MyInt] | provenance |  |
| main.rs:228:13:228:34 | ...::new(...) [MyInt] | main.rs:228:9:228:9 | n [MyInt] | provenance |  |
| main.rs:228:24:228:33 | source(...) | main.rs:222:12:222:17 | ...: i64 | provenance |  |
| main.rs:228:24:228:33 | source(...) | main.rs:228:13:228:34 | ...::new(...) [MyInt] | provenance |  |
| main.rs:229:9:229:26 | MyInt {...} [MyInt] | main.rs:229:24:229:24 | m | provenance |  |
| main.rs:229:24:229:24 | m | main.rs:230:10:230:10 | m | provenance |  |
| main.rs:236:12:236:15 | SelfParam [MyInt] | main.rs:238:24:238:27 | self [MyInt] | provenance |  |
| main.rs:238:9:238:35 | MyInt {...} [MyInt] | main.rs:236:42:239:5 | { ... } [MyInt] | provenance |  |
| main.rs:238:24:238:27 | self [MyInt] | main.rs:238:24:238:33 | self.value | provenance |  |
| main.rs:238:24:238:33 | self.value | main.rs:238:9:238:35 | MyInt {...} [MyInt] | provenance |  |
| main.rs:243:30:243:39 | ...: MyInt [MyInt] | main.rs:244:22:244:24 | rhs [MyInt] | provenance |  |
| main.rs:244:9:244:12 | [post] self [&ref, MyInt] | main.rs:243:19:243:27 | SelfParam [Return] [&ref, MyInt] | provenance |  |
| main.rs:244:22:244:24 | rhs [MyInt] | main.rs:244:22:244:30 | rhs.value | provenance |  |
| main.rs:244:22:244:30 | rhs.value | main.rs:244:9:244:12 | [post] self [&ref, MyInt] | provenance |  |
| main.rs:251:14:251:18 | SelfParam [&ref, MyInt] | main.rs:252:12:252:15 | self [&ref, MyInt] | provenance |  |
| main.rs:252:9:252:22 | &... [&ref] | main.rs:251:38:253:5 | { ... } [&ref] | provenance |  |
| main.rs:252:10:252:22 | ... .value | main.rs:252:9:252:22 | &... [&ref] | provenance |  |
| main.rs:252:11:252:15 | * ... [MyInt] | main.rs:252:10:252:22 | ... .value | provenance |  |
| main.rs:252:12:252:15 | self [&ref, MyInt] | main.rs:252:11:252:15 | * ... [MyInt] | provenance | MaD:1 |
| main.rs:258:9:258:9 | a [MyInt] | main.rs:260:13:260:13 | a [MyInt] | provenance |  |
| main.rs:258:13:258:38 | MyInt {...} [MyInt] | main.rs:258:9:258:9 | a [MyInt] | provenance |  |
| main.rs:258:28:258:36 | source(...) | main.rs:258:13:258:38 | MyInt {...} [MyInt] | provenance |  |
| main.rs:260:9:260:9 | c [MyInt] | main.rs:261:10:261:10 | c [MyInt] | provenance |  |
| main.rs:260:13:260:13 | a [MyInt] | main.rs:236:12:236:15 | SelfParam [MyInt] | provenance |  |
| main.rs:260:13:260:13 | a [MyInt] | main.rs:260:13:260:17 | ... + ... [MyInt] | provenance |  |
| main.rs:260:13:260:17 | ... + ... [MyInt] | main.rs:260:9:260:9 | c [MyInt] | provenance |  |
| main.rs:261:10:261:10 | c [MyInt] | main.rs:261:10:261:16 | c.value | provenance |  |
| main.rs:268:9:268:9 | a [MyInt] | main.rs:270:13:270:13 | a [MyInt] | provenance |  |
| main.rs:268:13:268:38 | MyInt {...} [MyInt] | main.rs:268:9:268:9 | a [MyInt] | provenance |  |
| main.rs:268:28:268:36 | source(...) | main.rs:268:13:268:38 | MyInt {...} [MyInt] | provenance |  |
| main.rs:270:9:270:9 | d [MyInt] | main.rs:271:10:271:10 | d [MyInt] | provenance |  |
| main.rs:270:13:270:13 | a [MyInt] | main.rs:236:12:236:15 | SelfParam [MyInt] | provenance |  |
| main.rs:270:13:270:13 | a [MyInt] | main.rs:270:13:270:20 | a.add(...) [MyInt] | provenance |  |
| main.rs:270:13:270:20 | a.add(...) [MyInt] | main.rs:270:9:270:9 | d [MyInt] | provenance |  |
| main.rs:271:10:271:10 | d [MyInt] | main.rs:271:10:271:16 | d.value | provenance |  |
| main.rs:275:9:275:9 | b [MyInt] | main.rs:277:35:277:35 | b [MyInt] | provenance |  |
| main.rs:275:13:275:39 | MyInt {...} [MyInt] | main.rs:275:9:275:9 | b [MyInt] | provenance |  |
| main.rs:275:28:275:37 | source(...) | main.rs:275:13:275:39 | MyInt {...} [MyInt] | provenance |  |
| main.rs:277:27:277:32 | [post] &mut a [&ref, MyInt] | main.rs:277:32:277:32 | [post] a [MyInt] | provenance |  |
| main.rs:277:32:277:32 | [post] a [MyInt] | main.rs:278:10:278:10 | a [MyInt] | provenance |  |
| main.rs:277:35:277:35 | b [MyInt] | main.rs:243:30:243:39 | ...: MyInt [MyInt] | provenance |  |
| main.rs:277:35:277:35 | b [MyInt] | main.rs:277:27:277:32 | [post] &mut a [&ref, MyInt] | provenance |  |
| main.rs:278:10:278:10 | a [MyInt] | main.rs:278:10:278:16 | a.value | provenance |  |
| main.rs:281:9:281:9 | b [MyInt] | main.rs:282:10:282:10 | b [MyInt] | provenance |  |
| main.rs:281:13:281:39 | MyInt {...} [MyInt] | main.rs:281:9:281:9 | b [MyInt] | provenance |  |
| main.rs:281:28:281:37 | source(...) | main.rs:281:13:281:39 | MyInt {...} [MyInt] | provenance |  |
| main.rs:282:10:282:10 | b [MyInt] | main.rs:243:30:243:39 | ...: MyInt [MyInt] | provenance |  |
| main.rs:282:10:282:10 | b [MyInt] | main.rs:283:10:283:10 | a [MyInt] | provenance |  |
| main.rs:283:10:283:10 | a [MyInt] | main.rs:283:10:283:16 | a.value | provenance |  |
| main.rs:286:9:286:9 | a [MyInt] | main.rs:288:28:288:28 | a [MyInt] | provenance |  |
| main.rs:286:13:286:39 | MyInt {...} [MyInt] | main.rs:286:9:286:9 | a [MyInt] | provenance |  |
| main.rs:286:28:286:37 | source(...) | main.rs:286:13:286:39 | MyInt {...} [MyInt] | provenance |  |
| main.rs:288:9:288:9 | c | main.rs:289:10:289:10 | c | provenance |  |
| main.rs:288:13:288:29 | * ... | main.rs:288:9:288:9 | c | provenance |  |
| main.rs:288:14:288:29 | ...::deref(...) [&ref] | main.rs:288:13:288:29 | * ... | provenance | MaD:1 |
| main.rs:288:27:288:28 | &a [&ref, MyInt] | main.rs:251:14:251:18 | SelfParam [&ref, MyInt] | provenance |  |
| main.rs:288:27:288:28 | &a [&ref, MyInt] | main.rs:288:14:288:29 | ...::deref(...) [&ref] | provenance | MaD:1 |
| main.rs:288:28:288:28 | a [MyInt] | main.rs:288:27:288:28 | &a [&ref, MyInt] | provenance |  |
| main.rs:291:9:291:9 | a [MyInt] | main.rs:292:14:292:14 | a [MyInt] | provenance |  |
| main.rs:291:13:291:39 | MyInt {...} [MyInt] | main.rs:291:9:291:9 | a [MyInt] | provenance |  |
| main.rs:291:28:291:37 | source(...) | main.rs:291:13:291:39 | MyInt {...} [MyInt] | provenance |  |
| main.rs:292:9:292:9 | c | main.rs:293:10:293:10 | c | provenance |  |
| main.rs:292:13:292:14 | * ... | main.rs:292:9:292:9 | c | provenance |  |
| main.rs:292:14:292:14 | a [MyInt] | main.rs:251:14:251:18 | SelfParam [&ref, MyInt] | provenance |  |
| main.rs:292:14:292:14 | a [MyInt] | main.rs:292:13:292:14 | * ... | provenance | MaD:1 |
| main.rs:309:18:309:21 | SelfParam [MyInt] | main.rs:309:48:311:5 | { ... } [MyInt] | provenance |  |
| main.rs:313:26:313:37 | ...: MyInt [MyInt] | main.rs:313:49:315:5 | { ... } [MyInt] | provenance |  |
| main.rs:319:9:319:9 | a [MyInt] | main.rs:321:50:321:50 | a [MyInt] | provenance |  |
| main.rs:319:13:319:38 | MyInt {...} [MyInt] | main.rs:319:9:319:9 | a [MyInt] | provenance |  |
| main.rs:319:28:319:36 | source(...) | main.rs:319:13:319:38 | MyInt {...} [MyInt] | provenance |  |
| main.rs:321:9:321:26 | MyInt {...} [MyInt] | main.rs:321:24:321:24 | c | provenance |  |
| main.rs:321:24:321:24 | c | main.rs:322:10:322:10 | c | provenance |  |
| main.rs:321:30:321:54 | ...::take_self(...) [MyInt] | main.rs:321:9:321:26 | MyInt {...} [MyInt] | provenance |  |
| main.rs:321:50:321:50 | a [MyInt] | main.rs:309:18:309:21 | SelfParam [MyInt] | provenance |  |
| main.rs:321:50:321:50 | a [MyInt] | main.rs:321:30:321:54 | ...::take_self(...) [MyInt] | provenance |  |
| main.rs:325:9:325:9 | b [MyInt] | main.rs:326:55:326:55 | b [MyInt] | provenance |  |
| main.rs:325:13:325:39 | MyInt {...} [MyInt] | main.rs:325:9:325:9 | b [MyInt] | provenance |  |
| main.rs:325:28:325:37 | source(...) | main.rs:325:13:325:39 | MyInt {...} [MyInt] | provenance |  |
| main.rs:326:9:326:26 | MyInt {...} [MyInt] | main.rs:326:24:326:24 | c | provenance |  |
| main.rs:326:24:326:24 | c | main.rs:327:10:327:10 | c | provenance |  |
| main.rs:326:30:326:56 | ...::take_second(...) [MyInt] | main.rs:326:9:326:26 | MyInt {...} [MyInt] | provenance |  |
| main.rs:326:55:326:55 | b [MyInt] | main.rs:313:26:313:37 | ...: MyInt [MyInt] | provenance |  |
| main.rs:326:55:326:55 | b [MyInt] | main.rs:326:30:326:56 | ...::take_second(...) [MyInt] | provenance |  |
| main.rs:335:32:339:1 | { ... } | main.rs:342:13:342:26 | async_source(...) | provenance |  |
| main.rs:335:32:339:1 | { ... } | main.rs:354:41:354:54 | async_source(...) | provenance |  |
| main.rs:336:9:336:9 | a | main.rs:335:32:339:1 | { ... } | provenance |  |
| main.rs:336:9:336:9 | a | main.rs:337:10:337:10 | a | provenance |  |
| main.rs:336:13:336:21 | source(...) | main.rs:336:9:336:9 | a | provenance |  |
| main.rs:342:9:342:9 | a | main.rs:343:10:343:10 | a | provenance |  |
| main.rs:342:13:342:26 | async_source(...) | main.rs:342:9:342:9 | a | provenance |  |
| main.rs:346:13:346:13 | c | main.rs:347:14:347:14 | c | provenance |  |
| main.rs:346:17:346:25 | source(...) | main.rs:346:13:346:13 | c | provenance |  |
| main.rs:354:9:354:9 | a | main.rs:355:10:355:10 | a | provenance |  |
| main.rs:354:13:354:55 | ...::block_on(...) | main.rs:354:9:354:9 | a | provenance |  |
| main.rs:354:41:354:54 | async_source(...) | main.rs:354:13:354:55 | ...::block_on(...) | provenance | MaD:3 |
| main.rs:366:44:368:9 | { ... } | main.rs:403:18:403:38 | t.get_double_number() | provenance |  |
| main.rs:366:44:368:9 | { ... } | main.rs:407:18:407:50 | ...::get_double_number(...) | provenance |  |
| main.rs:367:13:367:29 | self.get_number() | main.rs:367:13:367:33 | ... * ... | provenance | MaD:2 |
| main.rs:367:13:367:33 | ... * ... | main.rs:366:44:368:9 | { ... } | provenance |  |
| main.rs:370:33:372:9 | { ... } | main.rs:411:18:411:37 | ...::get_default(...) | provenance |  |
| main.rs:371:13:371:21 | source(...) | main.rs:370:33:372:9 | { ... } | provenance |  |
| main.rs:378:37:380:9 | { ... } | main.rs:367:13:367:29 | self.get_number() | provenance |  |
| main.rs:379:13:379:21 | source(...) | main.rs:378:37:380:9 | { ... } | provenance |  |
| main.rs:390:44:392:9 | { ... } | main.rs:415:18:415:38 | i.get_double_number() | provenance |  |
| main.rs:391:13:391:22 | source(...) | main.rs:390:44:392:9 | { ... } | provenance |  |
| main.rs:394:33:396:9 | { ... } | main.rs:418:18:418:41 | ...::get_default(...) | provenance |  |
| main.rs:395:13:395:21 | source(...) | main.rs:394:33:396:9 | { ... } | provenance |  |
| main.rs:403:13:403:14 | n1 | main.rs:404:14:404:15 | n1 | provenance |  |
| main.rs:403:18:403:38 | t.get_double_number() | main.rs:403:13:403:14 | n1 | provenance |  |
| main.rs:407:13:407:14 | n2 | main.rs:408:14:408:15 | n2 | provenance |  |
| main.rs:407:18:407:50 | ...::get_double_number(...) | main.rs:407:13:407:14 | n2 | provenance |  |
| main.rs:411:13:411:14 | n3 | main.rs:412:14:412:15 | n3 | provenance |  |
| main.rs:411:18:411:37 | ...::get_default(...) | main.rs:411:13:411:14 | n3 | provenance |  |
| main.rs:415:13:415:14 | n4 | main.rs:416:14:416:15 | n4 | provenance |  |
| main.rs:415:18:415:38 | i.get_double_number() | main.rs:415:13:415:14 | n4 | provenance |  |
| main.rs:418:13:418:14 | n5 | main.rs:419:14:419:15 | n5 | provenance |  |
| main.rs:418:18:418:41 | ...::get_default(...) | main.rs:418:13:418:14 | n5 | provenance |  |
nodes
| main.rs:12:28:14:1 | { ... } | semmle.label | { ... } |
| main.rs:13:5:13:13 | source(...) | semmle.label | source(...) |
| main.rs:17:9:17:9 | a | semmle.label | a |
| main.rs:17:13:17:23 | get_data(...) | semmle.label | get_data(...) |
| main.rs:18:10:18:10 | a | semmle.label | a |
| main.rs:26:17:26:25 | SelfParam [Return] [&ref, MyStruct] | semmle.label | SelfParam [Return] [&ref, MyStruct] |
| main.rs:26:28:26:33 | ...: i64 | semmle.label | ...: i64 |
| main.rs:27:9:27:12 | [post] self [&ref, MyStruct] | semmle.label | [post] self [&ref, MyStruct] |
| main.rs:27:21:27:21 | n | semmle.label | n |
| main.rs:30:17:30:21 | SelfParam [&ref, MyStruct] | semmle.label | SelfParam [&ref, MyStruct] |
| main.rs:30:31:32:5 | { ... } | semmle.label | { ... } |
| main.rs:31:9:31:12 | self [&ref, MyStruct] | semmle.label | self [&ref, MyStruct] |
| main.rs:31:9:31:17 | self.data | semmle.label | self.data |
| main.rs:38:6:38:11 | [post] &mut a [&ref, MyStruct] | semmle.label | [post] &mut a [&ref, MyStruct] |
| main.rs:38:11:38:11 | [post] a [MyStruct] | semmle.label | [post] a [MyStruct] |
| main.rs:38:23:38:31 | source(...) | semmle.label | source(...) |
| main.rs:39:10:39:10 | a [MyStruct] | semmle.label | a [MyStruct] |
| main.rs:39:10:39:21 | a.get_data() | semmle.label | a.get_data() |
| main.rs:46:9:46:14 | [post] &mut a [&ref, MyStruct] | semmle.label | [post] &mut a [&ref, MyStruct] |
| main.rs:46:14:46:14 | [post] a [MyStruct] | semmle.label | [post] a [MyStruct] |
| main.rs:48:15:48:23 | source(...) | semmle.label | source(...) |
| main.rs:49:10:49:10 | a [MyStruct] | semmle.label | a [MyStruct] |
| main.rs:49:10:49:21 | a.get_data() | semmle.label | a.get_data() |
| main.rs:52:12:52:17 | ...: i64 | semmle.label | ...: i64 |
| main.rs:53:10:53:10 | n | semmle.label | n |
| main.rs:57:9:57:9 | a | semmle.label | a |
| main.rs:57:13:57:21 | source(...) | semmle.label | source(...) |
| main.rs:58:13:58:13 | a | semmle.label | a |
| main.rs:61:17:61:22 | ...: i64 | semmle.label | ...: i64 |
| main.rs:61:32:63:1 | { ... } | semmle.label | { ... } |
| main.rs:66:9:66:9 | a | semmle.label | a |
| main.rs:66:13:66:21 | source(...) | semmle.label | source(...) |
| main.rs:67:9:67:9 | b | semmle.label | b |
| main.rs:67:13:67:27 | pass_through(...) | semmle.label | pass_through(...) |
| main.rs:67:26:67:26 | a | semmle.label | a |
| main.rs:68:10:68:10 | b | semmle.label | b |
| main.rs:72:9:72:9 | a | semmle.label | a |
| main.rs:72:13:75:6 | pass_through(...) | semmle.label | pass_through(...) |
| main.rs:72:26:75:5 | { ... } | semmle.label | { ... } |
| main.rs:74:9:74:18 | source(...) | semmle.label | source(...) |
| main.rs:76:10:76:10 | a | semmle.label | a |
| main.rs:80:9:80:9 | a | semmle.label | a |
| main.rs:80:13:80:22 | source(...) | semmle.label | source(...) |
| main.rs:82:21:82:26 | ...: i64 | semmle.label | ...: i64 |
| main.rs:82:36:84:5 | { ... } | semmle.label | { ... } |
| main.rs:86:9:86:9 | b | semmle.label | b |
| main.rs:86:13:86:27 | pass_through(...) | semmle.label | pass_through(...) |
| main.rs:86:26:86:26 | a | semmle.label | a |
| main.rs:87:10:87:10 | b | semmle.label | b |
| main.rs:104:22:104:27 | ...: i64 | semmle.label | ...: i64 |
| main.rs:105:14:105:14 | n | semmle.label | n |
| main.rs:108:30:114:5 | { ... } | semmle.label | { ... } |
| main.rs:112:13:112:21 | source(...) | semmle.label | source(...) |
| main.rs:116:27:116:32 | ...: i64 | semmle.label | ...: i64 |
| main.rs:116:42:122:5 | { ... } | semmle.label | { ... } |
| main.rs:126:28:126:33 | ...: i64 | semmle.label | ...: i64 |
| main.rs:127:14:127:14 | n | semmle.label | n |
| main.rs:130:36:136:5 | { ... } | semmle.label | { ... } |
| main.rs:134:13:134:22 | source(...) | semmle.label | source(...) |
| main.rs:138:33:138:38 | ...: i64 | semmle.label | ...: i64 |
| main.rs:138:48:144:5 | { ... } | semmle.label | { ... } |
| main.rs:148:9:148:9 | a | semmle.label | a |
| main.rs:148:13:148:30 | x.get_data_trait() | semmle.label | x.get_data_trait() |
| main.rs:149:10:149:10 | a | semmle.label | a |
| main.rs:154:9:154:9 | a | semmle.label | a |
| main.rs:154:13:154:25 | mn.get_data() | semmle.label | mn.get_data() |
| main.rs:155:10:155:10 | a | semmle.label | a |
| main.rs:158:9:158:9 | a | semmle.label | a |
| main.rs:158:13:158:31 | mn.get_data_trait() | semmle.label | mn.get_data_trait() |
| main.rs:159:10:159:10 | a | semmle.label | a |
| main.rs:165:9:165:9 | a | semmle.label | a |
| main.rs:165:13:165:22 | source(...) | semmle.label | source(...) |
| main.rs:166:21:166:21 | a | semmle.label | a |
| main.rs:171:9:171:9 | a | semmle.label | a |
| main.rs:171:13:171:21 | source(...) | semmle.label | source(...) |
| main.rs:172:16:172:16 | a | semmle.label | a |
| main.rs:175:9:175:9 | a | semmle.label | a |
| main.rs:175:13:175:22 | source(...) | semmle.label | source(...) |
| main.rs:176:22:176:22 | a | semmle.label | a |
| main.rs:182:9:182:9 | a | semmle.label | a |
| main.rs:182:13:182:22 | source(...) | semmle.label | source(...) |
| main.rs:183:9:183:9 | b | semmle.label | b |
| main.rs:183:13:183:35 | x.data_through_trait(...) | semmle.label | x.data_through_trait(...) |
| main.rs:183:34:183:34 | a | semmle.label | a |
| main.rs:184:10:184:10 | b | semmle.label | b |
| main.rs:189:9:189:9 | a | semmle.label | a |
| main.rs:189:13:189:21 | source(...) | semmle.label | source(...) |
| main.rs:190:9:190:9 | b | semmle.label | b |
| main.rs:190:13:190:30 | mn.data_through(...) | semmle.label | mn.data_through(...) |
| main.rs:190:29:190:29 | a | semmle.label | a |
| main.rs:191:10:191:10 | b | semmle.label | b |
| main.rs:194:9:194:9 | a | semmle.label | a |
| main.rs:194:13:194:22 | source(...) | semmle.label | source(...) |
| main.rs:195:9:195:9 | b | semmle.label | b |
| main.rs:195:13:195:36 | mn.data_through_trait(...) | semmle.label | mn.data_through_trait(...) |
| main.rs:195:35:195:35 | a | semmle.label | a |
| main.rs:196:10:196:10 | b | semmle.label | b |
| main.rs:203:9:203:9 | a | semmle.label | a |
| main.rs:203:13:203:21 | source(...) | semmle.label | source(...) |
| main.rs:204:25:204:25 | a | semmle.label | a |
| main.rs:209:9:209:9 | a | semmle.label | a |
| main.rs:209:13:209:22 | source(...) | semmle.label | source(...) |
| main.rs:210:9:210:9 | b | semmle.label | b |
| main.rs:210:13:210:39 | ...::data_through(...) | semmle.label | ...::data_through(...) |
| main.rs:210:38:210:38 | a | semmle.label | a |
| main.rs:211:10:211:10 | b | semmle.label | b |
| main.rs:222:12:222:17 | ...: i64 | semmle.label | ...: i64 |
| main.rs:222:28:224:5 | { ... } [MyInt] | semmle.label | { ... } [MyInt] |
| main.rs:223:9:223:26 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:223:24:223:24 | n | semmle.label | n |
| main.rs:228:9:228:9 | n [MyInt] | semmle.label | n [MyInt] |
| main.rs:228:13:228:34 | ...::new(...) [MyInt] | semmle.label | ...::new(...) [MyInt] |
| main.rs:228:24:228:33 | source(...) | semmle.label | source(...) |
| main.rs:229:9:229:26 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:229:24:229:24 | m | semmle.label | m |
| main.rs:230:10:230:10 | m | semmle.label | m |
| main.rs:236:12:236:15 | SelfParam [MyInt] | semmle.label | SelfParam [MyInt] |
| main.rs:236:42:239:5 | { ... } [MyInt] | semmle.label | { ... } [MyInt] |
| main.rs:238:9:238:35 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:238:24:238:27 | self [MyInt] | semmle.label | self [MyInt] |
| main.rs:238:24:238:33 | self.value | semmle.label | self.value |
| main.rs:243:19:243:27 | SelfParam [Return] [&ref, MyInt] | semmle.label | SelfParam [Return] [&ref, MyInt] |
| main.rs:243:30:243:39 | ...: MyInt [MyInt] | semmle.label | ...: MyInt [MyInt] |
| main.rs:244:9:244:12 | [post] self [&ref, MyInt] | semmle.label | [post] self [&ref, MyInt] |
| main.rs:244:22:244:24 | rhs [MyInt] | semmle.label | rhs [MyInt] |
| main.rs:244:22:244:30 | rhs.value | semmle.label | rhs.value |
| main.rs:251:14:251:18 | SelfParam [&ref, MyInt] | semmle.label | SelfParam [&ref, MyInt] |
| main.rs:251:38:253:5 | { ... } [&ref] | semmle.label | { ... } [&ref] |
| main.rs:252:9:252:22 | &... [&ref] | semmle.label | &... [&ref] |
| main.rs:252:10:252:22 | ... .value | semmle.label | ... .value |
| main.rs:252:11:252:15 | * ... [MyInt] | semmle.label | * ... [MyInt] |
| main.rs:252:12:252:15 | self [&ref, MyInt] | semmle.label | self [&ref, MyInt] |
| main.rs:258:9:258:9 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:258:13:258:38 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:258:28:258:36 | source(...) | semmle.label | source(...) |
| main.rs:260:9:260:9 | c [MyInt] | semmle.label | c [MyInt] |
| main.rs:260:13:260:13 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:260:13:260:17 | ... + ... [MyInt] | semmle.label | ... + ... [MyInt] |
| main.rs:261:10:261:10 | c [MyInt] | semmle.label | c [MyInt] |
| main.rs:261:10:261:16 | c.value | semmle.label | c.value |
| main.rs:268:9:268:9 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:268:13:268:38 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:268:28:268:36 | source(...) | semmle.label | source(...) |
| main.rs:270:9:270:9 | d [MyInt] | semmle.label | d [MyInt] |
| main.rs:270:13:270:13 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:270:13:270:20 | a.add(...) [MyInt] | semmle.label | a.add(...) [MyInt] |
| main.rs:271:10:271:10 | d [MyInt] | semmle.label | d [MyInt] |
| main.rs:271:10:271:16 | d.value | semmle.label | d.value |
| main.rs:275:9:275:9 | b [MyInt] | semmle.label | b [MyInt] |
| main.rs:275:13:275:39 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:275:28:275:37 | source(...) | semmle.label | source(...) |
| main.rs:277:27:277:32 | [post] &mut a [&ref, MyInt] | semmle.label | [post] &mut a [&ref, MyInt] |
| main.rs:277:32:277:32 | [post] a [MyInt] | semmle.label | [post] a [MyInt] |
| main.rs:277:35:277:35 | b [MyInt] | semmle.label | b [MyInt] |
| main.rs:278:10:278:10 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:278:10:278:16 | a.value | semmle.label | a.value |
| main.rs:281:9:281:9 | b [MyInt] | semmle.label | b [MyInt] |
| main.rs:281:13:281:39 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:281:28:281:37 | source(...) | semmle.label | source(...) |
| main.rs:282:10:282:10 | b [MyInt] | semmle.label | b [MyInt] |
| main.rs:283:10:283:10 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:283:10:283:16 | a.value | semmle.label | a.value |
| main.rs:286:9:286:9 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:286:13:286:39 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:286:28:286:37 | source(...) | semmle.label | source(...) |
| main.rs:288:9:288:9 | c | semmle.label | c |
| main.rs:288:13:288:29 | * ... | semmle.label | * ... |
| main.rs:288:14:288:29 | ...::deref(...) [&ref] | semmle.label | ...::deref(...) [&ref] |
| main.rs:288:27:288:28 | &a [&ref, MyInt] | semmle.label | &a [&ref, MyInt] |
| main.rs:288:28:288:28 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:289:10:289:10 | c | semmle.label | c |
| main.rs:291:9:291:9 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:291:13:291:39 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:291:28:291:37 | source(...) | semmle.label | source(...) |
| main.rs:292:9:292:9 | c | semmle.label | c |
| main.rs:292:13:292:14 | * ... | semmle.label | * ... |
| main.rs:292:14:292:14 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:293:10:293:10 | c | semmle.label | c |
| main.rs:309:18:309:21 | SelfParam [MyInt] | semmle.label | SelfParam [MyInt] |
| main.rs:309:48:311:5 | { ... } [MyInt] | semmle.label | { ... } [MyInt] |
| main.rs:313:26:313:37 | ...: MyInt [MyInt] | semmle.label | ...: MyInt [MyInt] |
| main.rs:313:49:315:5 | { ... } [MyInt] | semmle.label | { ... } [MyInt] |
| main.rs:319:9:319:9 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:319:13:319:38 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:319:28:319:36 | source(...) | semmle.label | source(...) |
| main.rs:321:9:321:26 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:321:24:321:24 | c | semmle.label | c |
| main.rs:321:30:321:54 | ...::take_self(...) [MyInt] | semmle.label | ...::take_self(...) [MyInt] |
| main.rs:321:50:321:50 | a [MyInt] | semmle.label | a [MyInt] |
| main.rs:322:10:322:10 | c | semmle.label | c |
| main.rs:325:9:325:9 | b [MyInt] | semmle.label | b [MyInt] |
| main.rs:325:13:325:39 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:325:28:325:37 | source(...) | semmle.label | source(...) |
| main.rs:326:9:326:26 | MyInt {...} [MyInt] | semmle.label | MyInt {...} [MyInt] |
| main.rs:326:24:326:24 | c | semmle.label | c |
| main.rs:326:30:326:56 | ...::take_second(...) [MyInt] | semmle.label | ...::take_second(...) [MyInt] |
| main.rs:326:55:326:55 | b [MyInt] | semmle.label | b [MyInt] |
| main.rs:327:10:327:10 | c | semmle.label | c |
| main.rs:335:32:339:1 | { ... } | semmle.label | { ... } |
| main.rs:336:9:336:9 | a | semmle.label | a |
| main.rs:336:13:336:21 | source(...) | semmle.label | source(...) |
| main.rs:337:10:337:10 | a | semmle.label | a |
| main.rs:342:9:342:9 | a | semmle.label | a |
| main.rs:342:13:342:26 | async_source(...) | semmle.label | async_source(...) |
| main.rs:343:10:343:10 | a | semmle.label | a |
| main.rs:346:13:346:13 | c | semmle.label | c |
| main.rs:346:17:346:25 | source(...) | semmle.label | source(...) |
| main.rs:347:14:347:14 | c | semmle.label | c |
| main.rs:354:9:354:9 | a | semmle.label | a |
| main.rs:354:13:354:55 | ...::block_on(...) | semmle.label | ...::block_on(...) |
| main.rs:354:41:354:54 | async_source(...) | semmle.label | async_source(...) |
| main.rs:355:10:355:10 | a | semmle.label | a |
| main.rs:366:44:368:9 | { ... } | semmle.label | { ... } |
| main.rs:367:13:367:29 | self.get_number() | semmle.label | self.get_number() |
| main.rs:367:13:367:33 | ... * ... | semmle.label | ... * ... |
| main.rs:370:33:372:9 | { ... } | semmle.label | { ... } |
| main.rs:371:13:371:21 | source(...) | semmle.label | source(...) |
| main.rs:378:37:380:9 | { ... } | semmle.label | { ... } |
| main.rs:379:13:379:21 | source(...) | semmle.label | source(...) |
| main.rs:390:44:392:9 | { ... } | semmle.label | { ... } |
| main.rs:391:13:391:22 | source(...) | semmle.label | source(...) |
| main.rs:394:33:396:9 | { ... } | semmle.label | { ... } |
| main.rs:395:13:395:21 | source(...) | semmle.label | source(...) |
| main.rs:403:13:403:14 | n1 | semmle.label | n1 |
| main.rs:403:18:403:38 | t.get_double_number() | semmle.label | t.get_double_number() |
| main.rs:404:14:404:15 | n1 | semmle.label | n1 |
| main.rs:407:13:407:14 | n2 | semmle.label | n2 |
| main.rs:407:18:407:50 | ...::get_double_number(...) | semmle.label | ...::get_double_number(...) |
| main.rs:408:14:408:15 | n2 | semmle.label | n2 |
| main.rs:411:13:411:14 | n3 | semmle.label | n3 |
| main.rs:411:18:411:37 | ...::get_default(...) | semmle.label | ...::get_default(...) |
| main.rs:412:14:412:15 | n3 | semmle.label | n3 |
| main.rs:415:13:415:14 | n4 | semmle.label | n4 |
| main.rs:415:18:415:38 | i.get_double_number() | semmle.label | i.get_double_number() |
| main.rs:416:14:416:15 | n4 | semmle.label | n4 |
| main.rs:418:13:418:14 | n5 | semmle.label | n5 |
| main.rs:418:18:418:41 | ...::get_default(...) | semmle.label | ...::get_default(...) |
| main.rs:419:14:419:15 | n5 | semmle.label | n5 |
subpaths
| main.rs:38:23:38:31 | source(...) | main.rs:26:28:26:33 | ...: i64 | main.rs:26:17:26:25 | SelfParam [Return] [&ref, MyStruct] | main.rs:38:6:38:11 | [post] &mut a [&ref, MyStruct] |
| main.rs:39:10:39:10 | a [MyStruct] | main.rs:30:17:30:21 | SelfParam [&ref, MyStruct] | main.rs:30:31:32:5 | { ... } | main.rs:39:10:39:21 | a.get_data() |
| main.rs:48:15:48:23 | source(...) | main.rs:26:28:26:33 | ...: i64 | main.rs:26:17:26:25 | SelfParam [Return] [&ref, MyStruct] | main.rs:46:9:46:14 | [post] &mut a [&ref, MyStruct] |
| main.rs:49:10:49:10 | a [MyStruct] | main.rs:30:17:30:21 | SelfParam [&ref, MyStruct] | main.rs:30:31:32:5 | { ... } | main.rs:49:10:49:21 | a.get_data() |
| main.rs:67:26:67:26 | a | main.rs:61:17:61:22 | ...: i64 | main.rs:61:32:63:1 | { ... } | main.rs:67:13:67:27 | pass_through(...) |
| main.rs:72:26:75:5 | { ... } | main.rs:61:17:61:22 | ...: i64 | main.rs:61:32:63:1 | { ... } | main.rs:72:13:75:6 | pass_through(...) |
| main.rs:86:26:86:26 | a | main.rs:82:21:82:26 | ...: i64 | main.rs:82:36:84:5 | { ... } | main.rs:86:13:86:27 | pass_through(...) |
| main.rs:183:34:183:34 | a | main.rs:138:33:138:38 | ...: i64 | main.rs:138:48:144:5 | { ... } | main.rs:183:13:183:35 | x.data_through_trait(...) |
| main.rs:190:29:190:29 | a | main.rs:116:27:116:32 | ...: i64 | main.rs:116:42:122:5 | { ... } | main.rs:190:13:190:30 | mn.data_through(...) |
| main.rs:195:35:195:35 | a | main.rs:138:33:138:38 | ...: i64 | main.rs:138:48:144:5 | { ... } | main.rs:195:13:195:36 | mn.data_through_trait(...) |
| main.rs:210:38:210:38 | a | main.rs:116:27:116:32 | ...: i64 | main.rs:116:42:122:5 | { ... } | main.rs:210:13:210:39 | ...::data_through(...) |
| main.rs:228:24:228:33 | source(...) | main.rs:222:12:222:17 | ...: i64 | main.rs:222:28:224:5 | { ... } [MyInt] | main.rs:228:13:228:34 | ...::new(...) [MyInt] |
| main.rs:260:13:260:13 | a [MyInt] | main.rs:236:12:236:15 | SelfParam [MyInt] | main.rs:236:42:239:5 | { ... } [MyInt] | main.rs:260:13:260:17 | ... + ... [MyInt] |
| main.rs:270:13:270:13 | a [MyInt] | main.rs:236:12:236:15 | SelfParam [MyInt] | main.rs:236:42:239:5 | { ... } [MyInt] | main.rs:270:13:270:20 | a.add(...) [MyInt] |
| main.rs:277:35:277:35 | b [MyInt] | main.rs:243:30:243:39 | ...: MyInt [MyInt] | main.rs:243:19:243:27 | SelfParam [Return] [&ref, MyInt] | main.rs:277:27:277:32 | [post] &mut a [&ref, MyInt] |
| main.rs:282:10:282:10 | b [MyInt] | main.rs:243:30:243:39 | ...: MyInt [MyInt] | main.rs:243:19:243:27 | SelfParam [Return] [&ref, MyInt] | main.rs:283:10:283:10 | a [MyInt] |
| main.rs:288:27:288:28 | &a [&ref, MyInt] | main.rs:251:14:251:18 | SelfParam [&ref, MyInt] | main.rs:251:38:253:5 | { ... } [&ref] | main.rs:288:14:288:29 | ...::deref(...) [&ref] |
| main.rs:292:14:292:14 | a [MyInt] | main.rs:251:14:251:18 | SelfParam [&ref, MyInt] | main.rs:251:38:253:5 | { ... } [&ref] | main.rs:292:13:292:14 | * ... |
| main.rs:321:50:321:50 | a [MyInt] | main.rs:309:18:309:21 | SelfParam [MyInt] | main.rs:309:48:311:5 | { ... } [MyInt] | main.rs:321:30:321:54 | ...::take_self(...) [MyInt] |
| main.rs:326:55:326:55 | b [MyInt] | main.rs:313:26:313:37 | ...: MyInt [MyInt] | main.rs:313:49:315:5 | { ... } [MyInt] | main.rs:326:30:326:56 | ...::take_second(...) [MyInt] |
testFailures
#select
| main.rs:18:10:18:10 | a | main.rs:13:5:13:13 | source(...) | main.rs:18:10:18:10 | a | $@ | main.rs:13:5:13:13 | source(...) | source(...) |
| main.rs:39:10:39:21 | a.get_data() | main.rs:38:23:38:31 | source(...) | main.rs:39:10:39:21 | a.get_data() | $@ | main.rs:38:23:38:31 | source(...) | source(...) |
| main.rs:49:10:49:21 | a.get_data() | main.rs:48:15:48:23 | source(...) | main.rs:49:10:49:21 | a.get_data() | $@ | main.rs:48:15:48:23 | source(...) | source(...) |
| main.rs:53:10:53:10 | n | main.rs:57:13:57:21 | source(...) | main.rs:53:10:53:10 | n | $@ | main.rs:57:13:57:21 | source(...) | source(...) |
| main.rs:68:10:68:10 | b | main.rs:66:13:66:21 | source(...) | main.rs:68:10:68:10 | b | $@ | main.rs:66:13:66:21 | source(...) | source(...) |
| main.rs:76:10:76:10 | a | main.rs:74:9:74:18 | source(...) | main.rs:76:10:76:10 | a | $@ | main.rs:74:9:74:18 | source(...) | source(...) |
| main.rs:87:10:87:10 | b | main.rs:80:13:80:22 | source(...) | main.rs:87:10:87:10 | b | $@ | main.rs:80:13:80:22 | source(...) | source(...) |
| main.rs:105:14:105:14 | n | main.rs:171:13:171:21 | source(...) | main.rs:105:14:105:14 | n | $@ | main.rs:171:13:171:21 | source(...) | source(...) |
| main.rs:105:14:105:14 | n | main.rs:203:13:203:21 | source(...) | main.rs:105:14:105:14 | n | $@ | main.rs:203:13:203:21 | source(...) | source(...) |
| main.rs:127:14:127:14 | n | main.rs:165:13:165:22 | source(...) | main.rs:127:14:127:14 | n | $@ | main.rs:165:13:165:22 | source(...) | source(...) |
| main.rs:127:14:127:14 | n | main.rs:175:13:175:22 | source(...) | main.rs:127:14:127:14 | n | $@ | main.rs:175:13:175:22 | source(...) | source(...) |
| main.rs:149:10:149:10 | a | main.rs:134:13:134:22 | source(...) | main.rs:149:10:149:10 | a | $@ | main.rs:134:13:134:22 | source(...) | source(...) |
| main.rs:155:10:155:10 | a | main.rs:112:13:112:21 | source(...) | main.rs:155:10:155:10 | a | $@ | main.rs:112:13:112:21 | source(...) | source(...) |
| main.rs:159:10:159:10 | a | main.rs:134:13:134:22 | source(...) | main.rs:159:10:159:10 | a | $@ | main.rs:134:13:134:22 | source(...) | source(...) |
| main.rs:184:10:184:10 | b | main.rs:182:13:182:22 | source(...) | main.rs:184:10:184:10 | b | $@ | main.rs:182:13:182:22 | source(...) | source(...) |
| main.rs:191:10:191:10 | b | main.rs:189:13:189:21 | source(...) | main.rs:191:10:191:10 | b | $@ | main.rs:189:13:189:21 | source(...) | source(...) |
| main.rs:196:10:196:10 | b | main.rs:194:13:194:22 | source(...) | main.rs:196:10:196:10 | b | $@ | main.rs:194:13:194:22 | source(...) | source(...) |
| main.rs:211:10:211:10 | b | main.rs:209:13:209:22 | source(...) | main.rs:211:10:211:10 | b | $@ | main.rs:209:13:209:22 | source(...) | source(...) |
| main.rs:230:10:230:10 | m | main.rs:228:24:228:33 | source(...) | main.rs:230:10:230:10 | m | $@ | main.rs:228:24:228:33 | source(...) | source(...) |
| main.rs:261:10:261:16 | c.value | main.rs:258:28:258:36 | source(...) | main.rs:261:10:261:16 | c.value | $@ | main.rs:258:28:258:36 | source(...) | source(...) |
| main.rs:271:10:271:16 | d.value | main.rs:268:28:268:36 | source(...) | main.rs:271:10:271:16 | d.value | $@ | main.rs:268:28:268:36 | source(...) | source(...) |
| main.rs:278:10:278:16 | a.value | main.rs:275:28:275:37 | source(...) | main.rs:278:10:278:16 | a.value | $@ | main.rs:275:28:275:37 | source(...) | source(...) |
| main.rs:283:10:283:16 | a.value | main.rs:281:28:281:37 | source(...) | main.rs:283:10:283:16 | a.value | $@ | main.rs:281:28:281:37 | source(...) | source(...) |
| main.rs:289:10:289:10 | c | main.rs:286:28:286:37 | source(...) | main.rs:289:10:289:10 | c | $@ | main.rs:286:28:286:37 | source(...) | source(...) |
| main.rs:293:10:293:10 | c | main.rs:291:28:291:37 | source(...) | main.rs:293:10:293:10 | c | $@ | main.rs:291:28:291:37 | source(...) | source(...) |
| main.rs:322:10:322:10 | c | main.rs:319:28:319:36 | source(...) | main.rs:322:10:322:10 | c | $@ | main.rs:319:28:319:36 | source(...) | source(...) |
| main.rs:327:10:327:10 | c | main.rs:325:28:325:37 | source(...) | main.rs:327:10:327:10 | c | $@ | main.rs:325:28:325:37 | source(...) | source(...) |
| main.rs:337:10:337:10 | a | main.rs:336:13:336:21 | source(...) | main.rs:337:10:337:10 | a | $@ | main.rs:336:13:336:21 | source(...) | source(...) |
| main.rs:343:10:343:10 | a | main.rs:336:13:336:21 | source(...) | main.rs:343:10:343:10 | a | $@ | main.rs:336:13:336:21 | source(...) | source(...) |
| main.rs:347:14:347:14 | c | main.rs:346:17:346:25 | source(...) | main.rs:347:14:347:14 | c | $@ | main.rs:346:17:346:25 | source(...) | source(...) |
| main.rs:355:10:355:10 | a | main.rs:336:13:336:21 | source(...) | main.rs:355:10:355:10 | a | $@ | main.rs:336:13:336:21 | source(...) | source(...) |
| main.rs:404:14:404:15 | n1 | main.rs:379:13:379:21 | source(...) | main.rs:404:14:404:15 | n1 | $@ | main.rs:379:13:379:21 | source(...) | source(...) |
| main.rs:408:14:408:15 | n2 | main.rs:379:13:379:21 | source(...) | main.rs:408:14:408:15 | n2 | $@ | main.rs:379:13:379:21 | source(...) | source(...) |
| main.rs:412:14:412:15 | n3 | main.rs:371:13:371:21 | source(...) | main.rs:412:14:412:15 | n3 | $@ | main.rs:371:13:371:21 | source(...) | source(...) |
| main.rs:416:14:416:15 | n4 | main.rs:391:13:391:22 | source(...) | main.rs:416:14:416:15 | n4 | $@ | main.rs:391:13:391:22 | source(...) | source(...) |
| main.rs:419:14:419:15 | n5 | main.rs:395:13:395:21 | source(...) | main.rs:419:14:419:15 | n5 | $@ | main.rs:395:13:395:21 | source(...) | source(...) |