inline-flow.expected

models
| 1 | Summary: <_ as core::clone::Clone>::clone; Argument[self].Reference; ReturnValue; value |
| 2 | Summary: <_ as core::clone::Clone>::clone_from; Argument[0].Reference; Argument[self].Reference; value |
| 3 | Summary: <alloc::boxed::Box>::new; Argument[0]; ReturnValue.Reference; value |
| 4 | Summary: <core::i64 as core::clone::Clone>::clone; Argument[self].Reference; ReturnValue; value |
| 5 | Summary: <core::option::Option>::unwrap; Argument[self].Field[core::option::Option::Some(0)]; ReturnValue; value |
| 6 | Summary: <core::option::Option>::unwrap_or; Argument[0]; ReturnValue; value |
| 7 | Summary: <core::option::Option>::unwrap_or; Argument[self].Field[core::option::Option::Some(0)]; ReturnValue; value |
| 8 | Summary: <core::option::Option>::unwrap_or_else; Argument[0].ReturnValue; ReturnValue; value |
| 9 | Summary: <core::option::Option>::unwrap_or_else; Argument[self].Field[core::option::Option::Some(0)]; ReturnValue; value |
| 10 | Summary: <core::result::Result>::err; Argument[self].Field[core::result::Result::Err(0)]; ReturnValue.Field[core::option::Option::Some(0)]; value |
| 11 | Summary: <core::result::Result>::expect; Argument[self].Field[core::result::Result::Ok(0)]; ReturnValue; value |
| 12 | Summary: <core::result::Result>::expect_err; Argument[self].Field[core::result::Result::Err(0)]; ReturnValue; value |
| 13 | Summary: <core::result::Result>::ok; Argument[self].Field[core::result::Result::Ok(0)]; ReturnValue.Field[core::option::Option::Some(0)]; value |
edges
| main.rs:23:9:23:9 | s | main.rs:24:10:24:10 | s | provenance |  |
| main.rs:23:9:23:9 | s | main.rs:26:12:26:12 | x | provenance |  |
| main.rs:23:9:23:9 | s | main.rs:30:12:30:12 | x | provenance |  |
| main.rs:23:13:23:21 | source(...) | main.rs:23:9:23:9 | s | provenance |  |
| main.rs:26:12:26:12 | x | main.rs:27:14:27:14 | x | provenance |  |
| main.rs:30:12:30:12 | x | main.rs:32:18:32:18 | x | provenance |  |
| main.rs:30:12:30:12 | x | main.rs:36:14:36:14 | x | provenance |  |
| main.rs:41:9:41:9 | a | main.rs:43:9:43:9 | c | provenance |  |
| main.rs:41:13:41:21 | source(...) | main.rs:41:9:41:9 | a | provenance |  |
| main.rs:43:9:43:9 | c | main.rs:44:10:44:10 | c | provenance |  |
| main.rs:48:9:48:9 | a | main.rs:49:9:49:9 | b | provenance |  |
| main.rs:48:13:48:21 | source(...) | main.rs:48:9:48:9 | a | provenance |  |
| main.rs:49:9:49:9 | b | main.rs:53:10:53:10 | b | provenance |  |
| main.rs:61:9:61:9 | b | main.rs:64:10:64:10 | b | provenance |  |
| main.rs:62:15:62:23 | source(...) | main.rs:61:9:61:9 | b | provenance |  |
| main.rs:70:5:70:5 | i | main.rs:71:10:71:10 | i | provenance |  |
| main.rs:70:9:70:17 | source(...) | main.rs:70:5:70:5 | i | provenance |  |
| main.rs:76:9:76:9 | k | main.rs:77:5:77:5 | j | provenance |  |
| main.rs:76:9:76:9 | k | main.rs:79:10:79:10 | k | provenance |  |
| main.rs:76:13:76:21 | source(...) | main.rs:76:9:76:9 | k | provenance |  |
| main.rs:77:5:77:5 | j | main.rs:78:10:78:10 | j | provenance |  |
| main.rs:81:9:81:13 | mut l | main.rs:82:5:82:5 | l | provenance |  |
| main.rs:81:17:81:25 | source(...) | main.rs:81:9:81:13 | mut l | provenance |  |
| main.rs:82:5:82:5 | l | main.rs:83:10:83:10 | l | provenance |  |
| main.rs:115:9:115:9 | i [&ref] | main.rs:116:11:116:11 | i [&ref] | provenance |  |
| main.rs:115:13:115:31 | ...::new(...) [&ref] | main.rs:115:9:115:9 | i [&ref] | provenance |  |
| main.rs:115:22:115:30 | source(...) | main.rs:115:13:115:31 | ...::new(...) [&ref] | provenance | MaD:3 |
| main.rs:116:11:116:11 | i [&ref] | main.rs:116:10:116:11 | * ... | provenance |  |
| main.rs:123:9:123:9 | a [tuple.0] | main.rs:124:10:124:10 | a [tuple.0] | provenance |  |
| main.rs:123:13:123:26 | TupleExpr [tuple.0] | main.rs:123:9:123:9 | a [tuple.0] | provenance |  |
| main.rs:123:14:123:22 | source(...) | main.rs:123:13:123:26 | TupleExpr [tuple.0] | provenance |  |
| main.rs:124:10:124:10 | a [tuple.0] | main.rs:124:10:124:12 | a.0 | provenance |  |
| main.rs:129:9:129:9 | a [tuple.1] | main.rs:130:9:130:20 | TuplePat [tuple.1] | provenance |  |
| main.rs:129:13:129:30 | TupleExpr [tuple.1] | main.rs:129:9:129:9 | a [tuple.1] | provenance |  |
| main.rs:129:17:129:26 | source(...) | main.rs:129:13:129:30 | TupleExpr [tuple.1] | provenance |  |
| main.rs:130:9:130:20 | TuplePat [tuple.1] | main.rs:130:14:130:15 | a1 | provenance |  |
| main.rs:130:14:130:15 | a1 | main.rs:132:10:132:11 | a1 | provenance |  |
| main.rs:137:9:137:13 | mut a [tuple.1] | main.rs:139:10:139:10 | a [tuple.1] | provenance |  |
| main.rs:137:17:137:31 | TupleExpr [tuple.1] | main.rs:137:9:137:13 | mut a [tuple.1] | provenance |  |
| main.rs:137:21:137:30 | source(...) | main.rs:137:17:137:31 | TupleExpr [tuple.1] | provenance |  |
| main.rs:139:10:139:10 | a [tuple.1] | main.rs:139:10:139:12 | a.1 | provenance |  |
| main.rs:140:5:140:5 | [post] a [tuple.0] | main.rs:141:5:141:5 | a [tuple.0] | provenance |  |
| main.rs:140:11:140:20 | source(...) | main.rs:140:5:140:5 | [post] a [tuple.0] | provenance |  |
| main.rs:141:5:141:5 | a [tuple.0] | main.rs:142:10:142:10 | a [tuple.0] | provenance |  |
| main.rs:142:10:142:10 | a [tuple.0] | main.rs:142:10:142:12 | a.0 | provenance |  |
| main.rs:147:9:147:9 | a [tuple.1] | main.rs:148:14:148:14 | a [tuple.1] | provenance |  |
| main.rs:147:13:147:27 | TupleExpr [tuple.1] | main.rs:147:9:147:9 | a [tuple.1] | provenance |  |
| main.rs:147:17:147:26 | source(...) | main.rs:147:13:147:27 | TupleExpr [tuple.1] | provenance |  |
| main.rs:148:9:148:9 | b [tuple.0, tuple.1] | main.rs:150:10:150:10 | b [tuple.0, tuple.1] | provenance |  |
| main.rs:148:13:148:18 | TupleExpr [tuple.0, tuple.1] | main.rs:148:9:148:9 | b [tuple.0, tuple.1] | provenance |  |
| main.rs:148:14:148:14 | a [tuple.1] | main.rs:148:13:148:18 | TupleExpr [tuple.0, tuple.1] | provenance |  |
| main.rs:150:10:150:10 | b [tuple.0, tuple.1] | main.rs:150:10:150:12 | b.0 [tuple.1] | provenance |  |
| main.rs:150:10:150:12 | b.0 [tuple.1] | main.rs:150:10:150:15 | ... .1 | provenance |  |
| main.rs:163:9:163:9 | p [Point.x] | main.rs:164:10:164:10 | p [Point.x] | provenance |  |
| main.rs:163:13:163:40 | Point {...} [Point.x] | main.rs:163:9:163:9 | p [Point.x] | provenance |  |
| main.rs:163:24:163:32 | source(...) | main.rs:163:13:163:40 | Point {...} [Point.x] | provenance |  |
| main.rs:164:10:164:10 | p [Point.x] | main.rs:164:10:164:12 | p.x | provenance |  |
| main.rs:171:5:171:5 | [post] p [Point.y] | main.rs:172:10:172:10 | p [Point.y] | provenance |  |
| main.rs:171:11:171:20 | source(...) | main.rs:171:5:171:5 | [post] p [Point.y] | provenance |  |
| main.rs:172:10:172:10 | p [Point.y] | main.rs:172:10:172:12 | p.y | provenance |  |
| main.rs:176:9:176:9 | p [Point.x] | main.rs:180:9:180:28 | Point {...} [Point.x] | provenance |  |
| main.rs:176:13:179:5 | Point {...} [Point.x] | main.rs:176:9:176:9 | p [Point.x] | provenance |  |
| main.rs:177:12:177:21 | source(...) | main.rs:176:13:179:5 | Point {...} [Point.x] | provenance |  |
| main.rs:180:9:180:28 | Point {...} [Point.x] | main.rs:180:20:180:20 | a | provenance |  |
| main.rs:180:20:180:20 | a | main.rs:181:10:181:10 | a | provenance |  |
| main.rs:191:9:191:9 | p [Point3D.plane, Point.y] | main.rs:199:10:199:10 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:191:13:197:5 | Point3D {...} [Point3D.plane, Point.y] | main.rs:191:9:191:9 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:192:16:195:9 | Point {...} [Point.y] | main.rs:191:13:197:5 | Point3D {...} [Point3D.plane, Point.y] | provenance |  |
| main.rs:194:16:194:25 | source(...) | main.rs:192:16:195:9 | Point {...} [Point.y] | provenance |  |
| main.rs:199:10:199:10 | p [Point3D.plane, Point.y] | main.rs:199:10:199:16 | p.plane [Point.y] | provenance |  |
| main.rs:199:10:199:16 | p.plane [Point.y] | main.rs:199:10:199:18 | ... .y | provenance |  |
| main.rs:204:9:204:9 | y | main.rs:206:30:206:30 | y | provenance |  |
| main.rs:204:13:204:22 | source(...) | main.rs:204:9:204:9 | y | provenance |  |
| main.rs:205:9:205:9 | p [Point3D.plane, Point.y] | main.rs:209:11:209:11 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:205:13:208:5 | Point3D {...} [Point3D.plane, Point.y] | main.rs:205:9:205:9 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:206:16:206:32 | Point {...} [Point.y] | main.rs:205:13:208:5 | Point3D {...} [Point3D.plane, Point.y] | provenance |  |
| main.rs:206:30:206:30 | y | main.rs:206:16:206:32 | Point {...} [Point.y] | provenance |  |
| main.rs:209:11:209:11 | p [Point3D.plane, Point.y] | main.rs:210:9:213:9 | Point3D {...} [Point3D.plane, Point.y] | provenance |  |
| main.rs:210:9:213:9 | Point3D {...} [Point3D.plane, Point.y] | main.rs:211:20:211:33 | Point {...} [Point.y] | provenance |  |
| main.rs:211:20:211:33 | Point {...} [Point.y] | main.rs:211:31:211:31 | y | provenance |  |
| main.rs:211:31:211:31 | y | main.rs:215:18:215:18 | y | provenance |  |
| main.rs:224:9:224:9 | s [MyTupleStruct(0)] | main.rs:225:10:225:10 | s [MyTupleStruct(0)] | provenance |  |
| main.rs:224:9:224:9 | s [MyTupleStruct(0)] | main.rs:228:11:228:11 | s [MyTupleStruct(0)] | provenance |  |
| main.rs:224:13:224:40 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:224:9:224:9 | s [MyTupleStruct(0)] | provenance |  |
| main.rs:224:27:224:36 | source(...) | main.rs:224:13:224:40 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance |  |
| main.rs:225:10:225:10 | s [MyTupleStruct(0)] | main.rs:225:10:225:12 | s.0 | provenance |  |
| main.rs:228:11:228:11 | s [MyTupleStruct(0)] | main.rs:229:9:229:27 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance |  |
| main.rs:229:9:229:27 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:229:23:229:23 | x | provenance |  |
| main.rs:229:23:229:23 | x | main.rs:230:18:230:18 | x | provenance |  |
| main.rs:240:9:240:10 | s1 [Some] | main.rs:242:11:242:12 | s1 [Some] | provenance |  |
| main.rs:240:14:240:37 | ...::Some(...) [Some] | main.rs:240:9:240:10 | s1 [Some] | provenance |  |
| main.rs:240:27:240:36 | source(...) | main.rs:240:14:240:37 | ...::Some(...) [Some] | provenance |  |
| main.rs:242:11:242:12 | s1 [Some] | main.rs:243:9:243:23 | ...::Some(...) [Some] | provenance |  |
| main.rs:243:9:243:23 | ...::Some(...) [Some] | main.rs:243:22:243:22 | n | provenance |  |
| main.rs:243:22:243:22 | n | main.rs:243:33:243:33 | n | provenance |  |
| main.rs:253:9:253:10 | s1 [Some] | main.rs:255:11:255:12 | s1 [Some] | provenance |  |
| main.rs:253:14:253:29 | Some(...) [Some] | main.rs:253:9:253:10 | s1 [Some] | provenance |  |
| main.rs:253:19:253:28 | source(...) | main.rs:253:14:253:29 | Some(...) [Some] | provenance |  |
| main.rs:255:11:255:12 | s1 [Some] | main.rs:256:9:256:15 | Some(...) [Some] | provenance |  |
| main.rs:256:9:256:15 | Some(...) [Some] | main.rs:256:14:256:14 | n | provenance |  |
| main.rs:256:14:256:14 | n | main.rs:256:25:256:25 | n | provenance |  |
| main.rs:266:9:266:10 | s1 [Some] | main.rs:267:12:267:18 | Some(...) [Some] | provenance |  |
| main.rs:266:14:266:29 | Some(...) [Some] | main.rs:266:9:266:10 | s1 [Some] | provenance |  |
| main.rs:266:19:266:28 | source(...) | main.rs:266:14:266:29 | Some(...) [Some] | provenance |  |
| main.rs:267:12:267:18 | Some(...) [Some] | main.rs:267:17:267:17 | n | provenance |  |
| main.rs:267:17:267:17 | n | main.rs:269:18:269:18 | n | provenance |  |
| main.rs:267:17:267:17 | n | main.rs:273:14:273:14 | n | provenance |  |
| main.rs:278:9:278:10 | s1 [Some] | main.rs:279:10:279:20 | s1.unwrap() | provenance | MaD:5 |
| main.rs:278:14:278:29 | Some(...) [Some] | main.rs:278:9:278:10 | s1 [Some] | provenance |  |
| main.rs:278:19:278:28 | source(...) | main.rs:278:14:278:29 | Some(...) [Some] | provenance |  |
| main.rs:283:9:283:10 | s1 [Some] | main.rs:284:10:284:24 | s1.unwrap_or(...) | provenance | MaD:7 |
| main.rs:283:14:283:29 | Some(...) [Some] | main.rs:283:9:283:10 | s1 [Some] | provenance |  |
| main.rs:283:19:283:28 | source(...) | main.rs:283:14:283:29 | Some(...) [Some] | provenance |  |
| main.rs:287:23:287:32 | source(...) | main.rs:287:10:287:33 | s2.unwrap_or(...) | provenance | MaD:6 |
| main.rs:291:9:291:10 | s1 [Some] | main.rs:292:10:292:32 | s1.unwrap_or_else(...) | provenance | MaD:9 |
| main.rs:291:14:291:29 | Some(...) [Some] | main.rs:291:9:291:10 | s1 [Some] | provenance |  |
| main.rs:291:19:291:28 | source(...) | main.rs:291:14:291:29 | Some(...) [Some] | provenance |  |
| main.rs:295:31:295:40 | source(...) | main.rs:295:10:295:41 | s2.unwrap_or_else(...) | provenance | MaD:8 |
| main.rs:299:9:299:10 | s1 [Some] | main.rs:301:14:301:15 | s1 [Some] | provenance |  |
| main.rs:299:14:299:29 | Some(...) [Some] | main.rs:299:9:299:10 | s1 [Some] | provenance |  |
| main.rs:299:19:299:28 | source(...) | main.rs:299:14:299:29 | Some(...) [Some] | provenance |  |
| main.rs:301:9:301:10 | i1 | main.rs:302:10:302:11 | i1 | provenance |  |
| main.rs:301:14:301:15 | s1 [Some] | main.rs:301:14:301:16 | TryExpr | provenance |  |
| main.rs:301:14:301:16 | TryExpr | main.rs:301:9:301:10 | i1 | provenance |  |
| main.rs:308:9:308:10 | r1 [Ok] | main.rs:309:28:309:34 | r1.ok() [Some] | provenance | MaD:13 |
| main.rs:308:32:308:45 | Ok(...) [Ok] | main.rs:308:9:308:10 | r1 [Ok] | provenance |  |
| main.rs:308:35:308:44 | source(...) | main.rs:308:32:308:45 | Ok(...) [Ok] | provenance |  |
| main.rs:309:9:309:11 | o1a [Some] | main.rs:311:10:311:21 | o1a.unwrap() | provenance | MaD:5 |
| main.rs:309:28:309:34 | r1.ok() [Some] | main.rs:309:9:309:11 | o1a [Some] | provenance |  |
| main.rs:314:9:314:10 | r2 [Err] | main.rs:316:28:316:35 | r2.err() [Some] | provenance | MaD:10 |
| main.rs:314:32:314:46 | Err(...) [Err] | main.rs:314:9:314:10 | r2 [Err] | provenance |  |
| main.rs:314:36:314:45 | source(...) | main.rs:314:32:314:46 | Err(...) [Err] | provenance |  |
| main.rs:316:9:316:11 | o2b [Some] | main.rs:318:10:318:21 | o2b.unwrap() | provenance | MaD:5 |
| main.rs:316:28:316:35 | r2.err() [Some] | main.rs:316:9:316:11 | o2b [Some] | provenance |  |
| main.rs:322:9:322:10 | s1 [Ok] | main.rs:325:14:325:15 | s1 [Ok] | provenance |  |
| main.rs:322:32:322:45 | Ok(...) [Ok] | main.rs:322:9:322:10 | s1 [Ok] | provenance |  |
| main.rs:322:35:322:44 | source(...) | main.rs:322:32:322:45 | Ok(...) [Ok] | provenance |  |
| main.rs:325:9:325:10 | i1 | main.rs:327:10:327:11 | i1 | provenance |  |
| main.rs:325:14:325:15 | s1 [Ok] | main.rs:325:14:325:16 | TryExpr | provenance |  |
| main.rs:325:14:325:16 | TryExpr | main.rs:325:9:325:10 | i1 | provenance |  |
| main.rs:335:9:335:10 | s1 [Ok] | main.rs:336:10:336:22 | s1.expect(...) | provenance | MaD:11 |
| main.rs:335:32:335:45 | Ok(...) [Ok] | main.rs:335:9:335:10 | s1 [Ok] | provenance |  |
| main.rs:335:35:335:44 | source(...) | main.rs:335:32:335:45 | Ok(...) [Ok] | provenance |  |
| main.rs:339:9:339:10 | s2 [Err] | main.rs:341:10:341:26 | s2.expect_err(...) | provenance | MaD:12 |
| main.rs:339:32:339:46 | Err(...) [Err] | main.rs:339:9:339:10 | s2 [Err] | provenance |  |
| main.rs:339:36:339:45 | source(...) | main.rs:339:32:339:46 | Err(...) [Err] | provenance |  |
| main.rs:350:9:350:10 | s1 [A] | main.rs:352:11:352:12 | s1 [A] | provenance |  |
| main.rs:350:14:350:39 | ...::A(...) [A] | main.rs:350:9:350:10 | s1 [A] | provenance |  |
| main.rs:350:29:350:38 | source(...) | main.rs:350:14:350:39 | ...::A(...) [A] | provenance |  |
| main.rs:352:11:352:12 | s1 [A] | main.rs:353:9:353:25 | ...::A(...) [A] | provenance |  |
| main.rs:352:11:352:12 | s1 [A] | main.rs:356:11:356:12 | s1 [A] | provenance |  |
| main.rs:353:9:353:25 | ...::A(...) [A] | main.rs:353:24:353:24 | n | provenance |  |
| main.rs:353:24:353:24 | n | main.rs:353:35:353:35 | n | provenance |  |
| main.rs:356:11:356:12 | s1 [A] | main.rs:357:9:357:45 | ... \| ... [A] | provenance |  |
| main.rs:357:9:357:25 | ...::A(...) [A] | main.rs:357:24:357:24 | n | provenance |  |
| main.rs:357:9:357:45 | ... \| ... [A] | main.rs:357:9:357:25 | ...::A(...) [A] | provenance |  |
| main.rs:357:24:357:24 | n | main.rs:357:55:357:55 | n | provenance |  |
| main.rs:368:9:368:10 | s1 [A] | main.rs:370:11:370:12 | s1 [A] | provenance |  |
| main.rs:368:14:368:26 | A(...) [A] | main.rs:368:9:368:10 | s1 [A] | provenance |  |
| main.rs:368:16:368:25 | source(...) | main.rs:368:14:368:26 | A(...) [A] | provenance |  |
| main.rs:370:11:370:12 | s1 [A] | main.rs:371:9:371:12 | A(...) [A] | provenance |  |
| main.rs:370:11:370:12 | s1 [A] | main.rs:374:11:374:12 | s1 [A] | provenance |  |
| main.rs:371:9:371:12 | A(...) [A] | main.rs:371:11:371:11 | n | provenance |  |
| main.rs:371:11:371:11 | n | main.rs:371:22:371:22 | n | provenance |  |
| main.rs:374:11:374:12 | s1 [A] | main.rs:375:9:375:19 | ... \| ... [A] | provenance |  |
| main.rs:375:9:375:12 | A(...) [A] | main.rs:375:11:375:11 | n | provenance |  |
| main.rs:375:9:375:19 | ... \| ... [A] | main.rs:375:9:375:12 | A(...) [A] | provenance |  |
| main.rs:375:11:375:11 | n | main.rs:375:29:375:29 | n | provenance |  |
| main.rs:389:9:389:10 | s1 [C] | main.rs:393:11:393:12 | s1 [C] | provenance |  |
| main.rs:389:14:391:5 | ...::C {...} [C] | main.rs:389:9:389:10 | s1 [C] | provenance |  |
| main.rs:390:18:390:27 | source(...) | main.rs:389:14:391:5 | ...::C {...} [C] | provenance |  |
| main.rs:393:11:393:12 | s1 [C] | main.rs:394:9:394:38 | ...::C {...} [C] | provenance |  |
| main.rs:393:11:393:12 | s1 [C] | main.rs:397:11:397:12 | s1 [C] | provenance |  |
| main.rs:394:9:394:38 | ...::C {...} [C] | main.rs:394:36:394:36 | n | provenance |  |
| main.rs:394:36:394:36 | n | main.rs:394:48:394:48 | n | provenance |  |
| main.rs:397:11:397:12 | s1 [C] | main.rs:398:9:398:71 | ... \| ... [C] | provenance |  |
| main.rs:398:9:398:38 | ...::C {...} [C] | main.rs:398:36:398:36 | n | provenance |  |
| main.rs:398:9:398:71 | ... \| ... [C] | main.rs:398:9:398:38 | ...::C {...} [C] | provenance |  |
| main.rs:398:36:398:36 | n | main.rs:398:81:398:81 | n | provenance |  |
| main.rs:409:9:409:10 | s1 [C] | main.rs:413:11:413:12 | s1 [C] | provenance |  |
| main.rs:409:14:411:5 | C {...} [C] | main.rs:409:9:409:10 | s1 [C] | provenance |  |
| main.rs:410:18:410:27 | source(...) | main.rs:409:14:411:5 | C {...} [C] | provenance |  |
| main.rs:413:11:413:12 | s1 [C] | main.rs:414:9:414:24 | C {...} [C] | provenance |  |
| main.rs:413:11:413:12 | s1 [C] | main.rs:417:11:417:12 | s1 [C] | provenance |  |
| main.rs:414:9:414:24 | C {...} [C] | main.rs:414:22:414:22 | n | provenance |  |
| main.rs:414:22:414:22 | n | main.rs:414:34:414:34 | n | provenance |  |
| main.rs:417:11:417:12 | s1 [C] | main.rs:418:9:418:43 | ... \| ... [C] | provenance |  |
| main.rs:418:9:418:24 | C {...} [C] | main.rs:418:22:418:22 | n | provenance |  |
| main.rs:418:9:418:43 | ... \| ... [C] | main.rs:418:9:418:24 | C {...} [C] | provenance |  |
| main.rs:418:22:418:22 | n | main.rs:418:53:418:53 | n | provenance |  |
| main.rs:430:9:430:12 | arr1 [element] | main.rs:431:14:431:17 | arr1 [element] | provenance |  |
| main.rs:430:16:430:33 | [...] [element] | main.rs:430:9:430:12 | arr1 [element] | provenance |  |
| main.rs:430:23:430:32 | source(...) | main.rs:430:16:430:33 | [...] [element] | provenance |  |
| main.rs:431:9:431:10 | n1 | main.rs:432:10:432:11 | n1 | provenance |  |
| main.rs:431:14:431:17 | arr1 [element] | main.rs:431:14:431:20 | arr1[2] | provenance |  |
| main.rs:431:14:431:20 | arr1[2] | main.rs:431:9:431:10 | n1 | provenance |  |
| main.rs:434:9:434:12 | arr2 [element] | main.rs:435:14:435:17 | arr2 [element] | provenance |  |
| main.rs:434:16:434:31 | [...; 10] [element] | main.rs:434:9:434:12 | arr2 [element] | provenance |  |
| main.rs:434:17:434:26 | source(...) | main.rs:434:16:434:31 | [...; 10] [element] | provenance |  |
| main.rs:435:9:435:10 | n2 | main.rs:436:10:436:11 | n2 | provenance |  |
| main.rs:435:14:435:17 | arr2 [element] | main.rs:435:14:435:20 | arr2[4] | provenance |  |
| main.rs:435:14:435:20 | arr2[4] | main.rs:435:9:435:10 | n2 | provenance |  |
| main.rs:444:9:444:12 | arr1 [element] | main.rs:445:15:445:18 | arr1 [element] | provenance |  |
| main.rs:444:16:444:33 | [...] [element] | main.rs:444:9:444:12 | arr1 [element] | provenance |  |
| main.rs:444:23:444:32 | source(...) | main.rs:444:16:444:33 | [...] [element] | provenance |  |
| main.rs:445:9:445:10 | n1 | main.rs:446:14:446:15 | n1 | provenance |  |
| main.rs:445:15:445:18 | arr1 [element] | main.rs:445:9:445:10 | n1 | provenance |  |
| main.rs:456:9:456:12 | arr1 [element] | main.rs:457:11:457:14 | arr1 [element] | provenance |  |
| main.rs:456:16:456:33 | [...] [element] | main.rs:456:9:456:12 | arr1 [element] | provenance |  |
| main.rs:456:23:456:32 | source(...) | main.rs:456:16:456:33 | [...] [element] | provenance |  |
| main.rs:457:11:457:14 | arr1 [element] | main.rs:458:9:458:17 | SlicePat [element] | provenance |  |
| main.rs:458:9:458:17 | SlicePat [element] | main.rs:458:10:458:10 | a | provenance |  |
| main.rs:458:9:458:17 | SlicePat [element] | main.rs:458:13:458:13 | b | provenance |  |
| main.rs:458:9:458:17 | SlicePat [element] | main.rs:458:16:458:16 | c | provenance |  |
| main.rs:458:10:458:10 | a | main.rs:459:18:459:18 | a | provenance |  |
| main.rs:458:13:458:13 | b | main.rs:460:18:460:18 | b | provenance |  |
| main.rs:458:16:458:16 | c | main.rs:461:18:461:18 | c | provenance |  |
| main.rs:470:5:470:11 | [post] mut_arr [element] | main.rs:471:13:471:19 | mut_arr [element] | provenance |  |
| main.rs:470:5:470:11 | [post] mut_arr [element] | main.rs:473:10:473:16 | mut_arr [element] | provenance |  |
| main.rs:470:18:470:27 | source(...) | main.rs:470:5:470:11 | [post] mut_arr [element] | provenance |  |
| main.rs:471:9:471:9 | d | main.rs:472:10:472:10 | d | provenance |  |
| main.rs:471:13:471:19 | mut_arr [element] | main.rs:471:13:471:22 | mut_arr[1] | provenance |  |
| main.rs:471:13:471:22 | mut_arr[1] | main.rs:471:9:471:9 | d | provenance |  |
| main.rs:473:10:473:16 | mut_arr [element] | main.rs:473:10:473:19 | mut_arr[0] | provenance |  |
| main.rs:496:9:496:9 | s | main.rs:497:10:497:10 | s | provenance |  |
| main.rs:496:25:496:26 | source(...) | main.rs:496:9:496:9 | s | provenance |  |
| main.rs:505:9:505:9 | a | main.rs:510:10:510:10 | a | provenance |  |
| main.rs:505:13:505:22 | source(...) | main.rs:505:9:505:9 | a | provenance |  |
| main.rs:517:9:517:10 | vs [element] | main.rs:519:10:519:11 | vs [element] | provenance |  |
| main.rs:517:9:517:10 | vs [element] | main.rs:523:14:523:15 | vs [element] | provenance |  |
| main.rs:517:14:517:34 | [...] [element] | main.rs:517:9:517:10 | vs [element] | provenance |  |
| main.rs:517:15:517:24 | source(...) | main.rs:517:14:517:34 | [...] [element] | provenance |  |
| main.rs:519:10:519:11 | vs [element] | main.rs:519:10:519:14 | vs[0] | provenance |  |
| main.rs:523:9:523:9 | v | main.rs:524:14:524:14 | v | provenance |  |
| main.rs:523:14:523:15 | vs [element] | main.rs:523:9:523:9 | v | provenance |  |
| main.rs:542:9:542:18 | mut vs_mut [element] | main.rs:544:10:544:15 | vs_mut [element] | provenance |  |
| main.rs:542:22:542:42 | [...] [element] | main.rs:542:9:542:18 | mut vs_mut [element] | provenance |  |
| main.rs:542:23:542:32 | source(...) | main.rs:542:22:542:42 | [...] [element] | provenance |  |
| main.rs:544:10:544:15 | vs_mut [element] | main.rs:544:10:544:18 | vs_mut[0] | provenance |  |
| main.rs:554:9:554:9 | a | main.rs:559:10:559:10 | a | provenance |  |
| main.rs:554:13:554:22 | source(...) | main.rs:554:9:554:9 | a | provenance |  |
| main.rs:556:9:556:9 | c | main.rs:557:18:557:18 | c | provenance |  |
| main.rs:556:13:556:22 | source(...) | main.rs:556:9:556:9 | c | provenance |  |
| main.rs:557:9:557:13 | c_ref [&ref] | main.rs:562:11:562:15 | c_ref [&ref] | provenance |  |
| main.rs:557:17:557:18 | &c [&ref] | main.rs:557:9:557:13 | c_ref [&ref] | provenance |  |
| main.rs:557:18:557:18 | c | main.rs:557:17:557:18 | &c [&ref] | provenance |  |
| main.rs:562:11:562:15 | c_ref [&ref] | main.rs:562:10:562:15 | * ... | provenance |  |
| main.rs:583:9:583:9 | a | main.rs:585:10:585:10 | a | provenance |  |
| main.rs:583:9:583:9 | a | main.rs:589:19:589:19 | a | provenance |  |
| main.rs:583:13:583:22 | source(...) | main.rs:583:9:583:9 | a | provenance |  |
| main.rs:585:10:585:10 | a | main.rs:585:10:585:18 | a.clone() | provenance | MaD:1 |
| main.rs:585:10:585:10 | a | main.rs:585:10:585:18 | a.clone() | provenance | MaD:4 |
| main.rs:589:5:589:5 | [post] b | main.rs:590:10:590:10 | b | provenance |  |
| main.rs:589:18:589:19 | &a [&ref] | main.rs:589:5:589:5 | [post] b | provenance | MaD:2 |
| main.rs:589:19:589:19 | a | main.rs:589:18:589:19 | &a [&ref] | provenance |  |
nodes
| main.rs:19:10:19:18 | source(...) | semmle.label | source(...) |
| main.rs:23:9:23:9 | s | semmle.label | s |
| main.rs:23:13:23:21 | source(...) | semmle.label | source(...) |
| main.rs:24:10:24:10 | s | semmle.label | s |
| main.rs:26:12:26:12 | x | semmle.label | x |
| main.rs:27:14:27:14 | x | semmle.label | x |
| main.rs:30:12:30:12 | x | semmle.label | x |
| main.rs:32:18:32:18 | x | semmle.label | x |
| main.rs:36:14:36:14 | x | semmle.label | x |
| main.rs:41:9:41:9 | a | semmle.label | a |
| main.rs:41:13:41:21 | source(...) | semmle.label | source(...) |
| main.rs:43:9:43:9 | c | semmle.label | c |
| main.rs:44:10:44:10 | c | semmle.label | c |
| main.rs:48:9:48:9 | a | semmle.label | a |
| main.rs:48:13:48:21 | source(...) | semmle.label | source(...) |
| main.rs:49:9:49:9 | b | semmle.label | b |
| main.rs:53:10:53:10 | b | semmle.label | b |
| main.rs:61:9:61:9 | b | semmle.label | b |
| main.rs:62:15:62:23 | source(...) | semmle.label | source(...) |
| main.rs:64:10:64:10 | b | semmle.label | b |
| main.rs:70:5:70:5 | i | semmle.label | i |
| main.rs:70:9:70:17 | source(...) | semmle.label | source(...) |
| main.rs:71:10:71:10 | i | semmle.label | i |
| main.rs:76:9:76:9 | k | semmle.label | k |
| main.rs:76:13:76:21 | source(...) | semmle.label | source(...) |
| main.rs:77:5:77:5 | j | semmle.label | j |
| main.rs:78:10:78:10 | j | semmle.label | j |
| main.rs:79:10:79:10 | k | semmle.label | k |
| main.rs:81:9:81:13 | mut l | semmle.label | mut l |
| main.rs:81:17:81:25 | source(...) | semmle.label | source(...) |
| main.rs:82:5:82:5 | l | semmle.label | l |
| main.rs:83:10:83:10 | l | semmle.label | l |
| main.rs:115:9:115:9 | i [&ref] | semmle.label | i [&ref] |
| main.rs:115:13:115:31 | ...::new(...) [&ref] | semmle.label | ...::new(...) [&ref] |
| main.rs:115:22:115:30 | source(...) | semmle.label | source(...) |
| main.rs:116:10:116:11 | * ... | semmle.label | * ... |
| main.rs:116:11:116:11 | i [&ref] | semmle.label | i [&ref] |
| main.rs:123:9:123:9 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:123:13:123:26 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
| main.rs:123:14:123:22 | source(...) | semmle.label | source(...) |
| main.rs:124:10:124:10 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:124:10:124:12 | a.0 | semmle.label | a.0 |
| main.rs:129:9:129:9 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:129:13:129:30 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
| main.rs:129:17:129:26 | source(...) | semmle.label | source(...) |
| main.rs:130:9:130:20 | TuplePat [tuple.1] | semmle.label | TuplePat [tuple.1] |
| main.rs:130:14:130:15 | a1 | semmle.label | a1 |
| main.rs:132:10:132:11 | a1 | semmle.label | a1 |
| main.rs:137:9:137:13 | mut a [tuple.1] | semmle.label | mut a [tuple.1] |
| main.rs:137:17:137:31 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
| main.rs:137:21:137:30 | source(...) | semmle.label | source(...) |
| main.rs:139:10:139:10 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:139:10:139:12 | a.1 | semmle.label | a.1 |
| main.rs:140:5:140:5 | [post] a [tuple.0] | semmle.label | [post] a [tuple.0] |
| main.rs:140:11:140:20 | source(...) | semmle.label | source(...) |
| main.rs:141:5:141:5 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:142:10:142:10 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:142:10:142:12 | a.0 | semmle.label | a.0 |
| main.rs:147:9:147:9 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:147:13:147:27 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
| main.rs:147:17:147:26 | source(...) | semmle.label | source(...) |
| main.rs:148:9:148:9 | b [tuple.0, tuple.1] | semmle.label | b [tuple.0, tuple.1] |
| main.rs:148:13:148:18 | TupleExpr [tuple.0, tuple.1] | semmle.label | TupleExpr [tuple.0, tuple.1] |
| main.rs:148:14:148:14 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:150:10:150:10 | b [tuple.0, tuple.1] | semmle.label | b [tuple.0, tuple.1] |
| main.rs:150:10:150:12 | b.0 [tuple.1] | semmle.label | b.0 [tuple.1] |
| main.rs:150:10:150:15 | ... .1 | semmle.label | ... .1 |
| main.rs:163:9:163:9 | p [Point.x] | semmle.label | p [Point.x] |
| main.rs:163:13:163:40 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
| main.rs:163:24:163:32 | source(...) | semmle.label | source(...) |
| main.rs:164:10:164:10 | p [Point.x] | semmle.label | p [Point.x] |
| main.rs:164:10:164:12 | p.x | semmle.label | p.x |
| main.rs:171:5:171:5 | [post] p [Point.y] | semmle.label | [post] p [Point.y] |
| main.rs:171:11:171:20 | source(...) | semmle.label | source(...) |
| main.rs:172:10:172:10 | p [Point.y] | semmle.label | p [Point.y] |
| main.rs:172:10:172:12 | p.y | semmle.label | p.y |
| main.rs:176:9:176:9 | p [Point.x] | semmle.label | p [Point.x] |
| main.rs:176:13:179:5 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
| main.rs:177:12:177:21 | source(...) | semmle.label | source(...) |
| main.rs:180:9:180:28 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
| main.rs:180:20:180:20 | a | semmle.label | a |
| main.rs:181:10:181:10 | a | semmle.label | a |
| main.rs:191:9:191:9 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:191:13:197:5 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:192:16:195:9 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:194:16:194:25 | source(...) | semmle.label | source(...) |
| main.rs:199:10:199:10 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:199:10:199:16 | p.plane [Point.y] | semmle.label | p.plane [Point.y] |
| main.rs:199:10:199:18 | ... .y | semmle.label | ... .y |
| main.rs:204:9:204:9 | y | semmle.label | y |
| main.rs:204:13:204:22 | source(...) | semmle.label | source(...) |
| main.rs:205:9:205:9 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:205:13:208:5 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:206:16:206:32 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:206:30:206:30 | y | semmle.label | y |
| main.rs:209:11:209:11 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:210:9:213:9 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:211:20:211:33 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:211:31:211:31 | y | semmle.label | y |
| main.rs:215:18:215:18 | y | semmle.label | y |
| main.rs:224:9:224:9 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:224:13:224:40 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:224:27:224:36 | source(...) | semmle.label | source(...) |
| main.rs:225:10:225:10 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:225:10:225:12 | s.0 | semmle.label | s.0 |
| main.rs:228:11:228:11 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:229:9:229:27 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:229:23:229:23 | x | semmle.label | x |
| main.rs:230:18:230:18 | x | semmle.label | x |
| main.rs:240:9:240:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:240:14:240:37 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:240:27:240:36 | source(...) | semmle.label | source(...) |
| main.rs:242:11:242:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:243:9:243:23 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:243:22:243:22 | n | semmle.label | n |
| main.rs:243:33:243:33 | n | semmle.label | n |
| main.rs:253:9:253:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:253:14:253:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:253:19:253:28 | source(...) | semmle.label | source(...) |
| main.rs:255:11:255:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:256:9:256:15 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:256:14:256:14 | n | semmle.label | n |
| main.rs:256:25:256:25 | n | semmle.label | n |
| main.rs:266:9:266:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:266:14:266:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:266:19:266:28 | source(...) | semmle.label | source(...) |
| main.rs:267:12:267:18 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:267:17:267:17 | n | semmle.label | n |
| main.rs:269:18:269:18 | n | semmle.label | n |
| main.rs:273:14:273:14 | n | semmle.label | n |
| main.rs:278:9:278:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:278:14:278:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:278:19:278:28 | source(...) | semmle.label | source(...) |
| main.rs:279:10:279:20 | s1.unwrap() | semmle.label | s1.unwrap() |
| main.rs:283:9:283:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:283:14:283:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:283:19:283:28 | source(...) | semmle.label | source(...) |
| main.rs:284:10:284:24 | s1.unwrap_or(...) | semmle.label | s1.unwrap_or(...) |
| main.rs:287:10:287:33 | s2.unwrap_or(...) | semmle.label | s2.unwrap_or(...) |
| main.rs:287:23:287:32 | source(...) | semmle.label | source(...) |
| main.rs:291:9:291:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:291:14:291:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:291:19:291:28 | source(...) | semmle.label | source(...) |
| main.rs:292:10:292:32 | s1.unwrap_or_else(...) | semmle.label | s1.unwrap_or_else(...) |
| main.rs:295:10:295:41 | s2.unwrap_or_else(...) | semmle.label | s2.unwrap_or_else(...) |
| main.rs:295:31:295:40 | source(...) | semmle.label | source(...) |
| main.rs:299:9:299:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:299:14:299:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:299:19:299:28 | source(...) | semmle.label | source(...) |
| main.rs:301:9:301:10 | i1 | semmle.label | i1 |
| main.rs:301:14:301:15 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:301:14:301:16 | TryExpr | semmle.label | TryExpr |
| main.rs:302:10:302:11 | i1 | semmle.label | i1 |
| main.rs:308:9:308:10 | r1 [Ok] | semmle.label | r1 [Ok] |
| main.rs:308:32:308:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:308:35:308:44 | source(...) | semmle.label | source(...) |
| main.rs:309:9:309:11 | o1a [Some] | semmle.label | o1a [Some] |
| main.rs:309:28:309:34 | r1.ok() [Some] | semmle.label | r1.ok() [Some] |
| main.rs:311:10:311:21 | o1a.unwrap() | semmle.label | o1a.unwrap() |
| main.rs:314:9:314:10 | r2 [Err] | semmle.label | r2 [Err] |
| main.rs:314:32:314:46 | Err(...) [Err] | semmle.label | Err(...) [Err] |
| main.rs:314:36:314:45 | source(...) | semmle.label | source(...) |
| main.rs:316:9:316:11 | o2b [Some] | semmle.label | o2b [Some] |
| main.rs:316:28:316:35 | r2.err() [Some] | semmle.label | r2.err() [Some] |
| main.rs:318:10:318:21 | o2b.unwrap() | semmle.label | o2b.unwrap() |
| main.rs:322:9:322:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:322:32:322:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:322:35:322:44 | source(...) | semmle.label | source(...) |
| main.rs:325:9:325:10 | i1 | semmle.label | i1 |
| main.rs:325:14:325:15 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:325:14:325:16 | TryExpr | semmle.label | TryExpr |
| main.rs:327:10:327:11 | i1 | semmle.label | i1 |
| main.rs:335:9:335:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:335:32:335:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:335:35:335:44 | source(...) | semmle.label | source(...) |
| main.rs:336:10:336:22 | s1.expect(...) | semmle.label | s1.expect(...) |
| main.rs:339:9:339:10 | s2 [Err] | semmle.label | s2 [Err] |
| main.rs:339:32:339:46 | Err(...) [Err] | semmle.label | Err(...) [Err] |
| main.rs:339:36:339:45 | source(...) | semmle.label | source(...) |
| main.rs:341:10:341:26 | s2.expect_err(...) | semmle.label | s2.expect_err(...) |
| main.rs:350:9:350:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:350:14:350:39 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:350:29:350:38 | source(...) | semmle.label | source(...) |
| main.rs:352:11:352:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:353:9:353:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:353:24:353:24 | n | semmle.label | n |
| main.rs:353:35:353:35 | n | semmle.label | n |
| main.rs:356:11:356:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:357:9:357:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:357:9:357:45 | ... \| ... [A] | semmle.label | ... \| ... [A] |
| main.rs:357:24:357:24 | n | semmle.label | n |
| main.rs:357:55:357:55 | n | semmle.label | n |
| main.rs:368:9:368:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:368:14:368:26 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:368:16:368:25 | source(...) | semmle.label | source(...) |
| main.rs:370:11:370:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:371:9:371:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:371:11:371:11 | n | semmle.label | n |
| main.rs:371:22:371:22 | n | semmle.label | n |
| main.rs:374:11:374:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:375:9:375:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:375:9:375:19 | ... \| ... [A] | semmle.label | ... \| ... [A] |
| main.rs:375:11:375:11 | n | semmle.label | n |
| main.rs:375:29:375:29 | n | semmle.label | n |
| main.rs:389:9:389:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:389:14:391:5 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:390:18:390:27 | source(...) | semmle.label | source(...) |
| main.rs:393:11:393:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:394:9:394:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:394:36:394:36 | n | semmle.label | n |
| main.rs:394:48:394:48 | n | semmle.label | n |
| main.rs:397:11:397:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:398:9:398:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:398:9:398:71 | ... \| ... [C] | semmle.label | ... \| ... [C] |
| main.rs:398:36:398:36 | n | semmle.label | n |
| main.rs:398:81:398:81 | n | semmle.label | n |
| main.rs:409:9:409:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:409:14:411:5 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:410:18:410:27 | source(...) | semmle.label | source(...) |
| main.rs:413:11:413:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:414:9:414:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:414:22:414:22 | n | semmle.label | n |
| main.rs:414:34:414:34 | n | semmle.label | n |
| main.rs:417:11:417:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:418:9:418:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:418:9:418:43 | ... \| ... [C] | semmle.label | ... \| ... [C] |
| main.rs:418:22:418:22 | n | semmle.label | n |
| main.rs:418:53:418:53 | n | semmle.label | n |
| main.rs:430:9:430:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:430:16:430:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:430:23:430:32 | source(...) | semmle.label | source(...) |
| main.rs:431:9:431:10 | n1 | semmle.label | n1 |
| main.rs:431:14:431:17 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:431:14:431:20 | arr1[2] | semmle.label | arr1[2] |
| main.rs:432:10:432:11 | n1 | semmle.label | n1 |
| main.rs:434:9:434:12 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:434:16:434:31 | [...; 10] [element] | semmle.label | [...; 10] [element] |
| main.rs:434:17:434:26 | source(...) | semmle.label | source(...) |
| main.rs:435:9:435:10 | n2 | semmle.label | n2 |
| main.rs:435:14:435:17 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:435:14:435:20 | arr2[4] | semmle.label | arr2[4] |
| main.rs:436:10:436:11 | n2 | semmle.label | n2 |
| main.rs:444:9:444:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:444:16:444:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:444:23:444:32 | source(...) | semmle.label | source(...) |
| main.rs:445:9:445:10 | n1 | semmle.label | n1 |
| main.rs:445:15:445:18 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:446:14:446:15 | n1 | semmle.label | n1 |
| main.rs:456:9:456:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:456:16:456:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:456:23:456:32 | source(...) | semmle.label | source(...) |
| main.rs:457:11:457:14 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:458:9:458:17 | SlicePat [element] | semmle.label | SlicePat [element] |
| main.rs:458:10:458:10 | a | semmle.label | a |
| main.rs:458:13:458:13 | b | semmle.label | b |
| main.rs:458:16:458:16 | c | semmle.label | c |
| main.rs:459:18:459:18 | a | semmle.label | a |
| main.rs:460:18:460:18 | b | semmle.label | b |
| main.rs:461:18:461:18 | c | semmle.label | c |
| main.rs:470:5:470:11 | [post] mut_arr [element] | semmle.label | [post] mut_arr [element] |
| main.rs:470:18:470:27 | source(...) | semmle.label | source(...) |
| main.rs:471:9:471:9 | d | semmle.label | d |
| main.rs:471:13:471:19 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:471:13:471:22 | mut_arr[1] | semmle.label | mut_arr[1] |
| main.rs:472:10:472:10 | d | semmle.label | d |
| main.rs:473:10:473:16 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:473:10:473:19 | mut_arr[0] | semmle.label | mut_arr[0] |
| main.rs:496:9:496:9 | s | semmle.label | s |
| main.rs:496:25:496:26 | source(...) | semmle.label | source(...) |
| main.rs:497:10:497:10 | s | semmle.label | s |
| main.rs:505:9:505:9 | a | semmle.label | a |
| main.rs:505:13:505:22 | source(...) | semmle.label | source(...) |
| main.rs:510:10:510:10 | a | semmle.label | a |
| main.rs:517:9:517:10 | vs [element] | semmle.label | vs [element] |
| main.rs:517:14:517:34 | [...] [element] | semmle.label | [...] [element] |
| main.rs:517:15:517:24 | source(...) | semmle.label | source(...) |
| main.rs:519:10:519:11 | vs [element] | semmle.label | vs [element] |
| main.rs:519:10:519:14 | vs[0] | semmle.label | vs[0] |
| main.rs:523:9:523:9 | v | semmle.label | v |
| main.rs:523:14:523:15 | vs [element] | semmle.label | vs [element] |
| main.rs:524:14:524:14 | v | semmle.label | v |
| main.rs:542:9:542:18 | mut vs_mut [element] | semmle.label | mut vs_mut [element] |
| main.rs:542:22:542:42 | [...] [element] | semmle.label | [...] [element] |
| main.rs:542:23:542:32 | source(...) | semmle.label | source(...) |
| main.rs:544:10:544:15 | vs_mut [element] | semmle.label | vs_mut [element] |
| main.rs:544:10:544:18 | vs_mut[0] | semmle.label | vs_mut[0] |
| main.rs:554:9:554:9 | a | semmle.label | a |
| main.rs:554:13:554:22 | source(...) | semmle.label | source(...) |
| main.rs:556:9:556:9 | c | semmle.label | c |
| main.rs:556:13:556:22 | source(...) | semmle.label | source(...) |
| main.rs:557:9:557:13 | c_ref [&ref] | semmle.label | c_ref [&ref] |
| main.rs:557:17:557:18 | &c [&ref] | semmle.label | &c [&ref] |
| main.rs:557:18:557:18 | c | semmle.label | c |
| main.rs:559:10:559:10 | a | semmle.label | a |
| main.rs:562:10:562:15 | * ... | semmle.label | * ... |
| main.rs:562:11:562:15 | c_ref [&ref] | semmle.label | c_ref [&ref] |
| main.rs:583:9:583:9 | a | semmle.label | a |
| main.rs:583:13:583:22 | source(...) | semmle.label | source(...) |
| main.rs:585:10:585:10 | a | semmle.label | a |
| main.rs:585:10:585:18 | a.clone() | semmle.label | a.clone() |
| main.rs:589:5:589:5 | [post] b | semmle.label | [post] b |
| main.rs:589:18:589:19 | &a [&ref] | semmle.label | &a [&ref] |
| main.rs:589:19:589:19 | a | semmle.label | a |
| main.rs:590:10:590:10 | b | semmle.label | b |
subpaths
testFailures
#select
| main.rs:19:10:19:18 | source(...) | main.rs:19:10:19:18 | source(...) | main.rs:19:10:19:18 | source(...) | $@ | main.rs:19:10:19:18 | source(...) | source(...) |
| main.rs:24:10:24:10 | s | main.rs:23:13:23:21 | source(...) | main.rs:24:10:24:10 | s | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:27:14:27:14 | x | main.rs:23:13:23:21 | source(...) | main.rs:27:14:27:14 | x | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:32:18:32:18 | x | main.rs:23:13:23:21 | source(...) | main.rs:32:18:32:18 | x | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:36:14:36:14 | x | main.rs:23:13:23:21 | source(...) | main.rs:36:14:36:14 | x | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:44:10:44:10 | c | main.rs:41:13:41:21 | source(...) | main.rs:44:10:44:10 | c | $@ | main.rs:41:13:41:21 | source(...) | source(...) |
| main.rs:53:10:53:10 | b | main.rs:48:13:48:21 | source(...) | main.rs:53:10:53:10 | b | $@ | main.rs:48:13:48:21 | source(...) | source(...) |
| main.rs:64:10:64:10 | b | main.rs:62:15:62:23 | source(...) | main.rs:64:10:64:10 | b | $@ | main.rs:62:15:62:23 | source(...) | source(...) |
| main.rs:71:10:71:10 | i | main.rs:70:9:70:17 | source(...) | main.rs:71:10:71:10 | i | $@ | main.rs:70:9:70:17 | source(...) | source(...) |
| main.rs:78:10:78:10 | j | main.rs:76:13:76:21 | source(...) | main.rs:78:10:78:10 | j | $@ | main.rs:76:13:76:21 | source(...) | source(...) |
| main.rs:79:10:79:10 | k | main.rs:76:13:76:21 | source(...) | main.rs:79:10:79:10 | k | $@ | main.rs:76:13:76:21 | source(...) | source(...) |
| main.rs:83:10:83:10 | l | main.rs:81:17:81:25 | source(...) | main.rs:83:10:83:10 | l | $@ | main.rs:81:17:81:25 | source(...) | source(...) |
| main.rs:116:10:116:11 | * ... | main.rs:115:22:115:30 | source(...) | main.rs:116:10:116:11 | * ... | $@ | main.rs:115:22:115:30 | source(...) | source(...) |
| main.rs:124:10:124:12 | a.0 | main.rs:123:14:123:22 | source(...) | main.rs:124:10:124:12 | a.0 | $@ | main.rs:123:14:123:22 | source(...) | source(...) |
| main.rs:132:10:132:11 | a1 | main.rs:129:17:129:26 | source(...) | main.rs:132:10:132:11 | a1 | $@ | main.rs:129:17:129:26 | source(...) | source(...) |
| main.rs:139:10:139:12 | a.1 | main.rs:137:21:137:30 | source(...) | main.rs:139:10:139:12 | a.1 | $@ | main.rs:137:21:137:30 | source(...) | source(...) |
| main.rs:142:10:142:12 | a.0 | main.rs:140:11:140:20 | source(...) | main.rs:142:10:142:12 | a.0 | $@ | main.rs:140:11:140:20 | source(...) | source(...) |
| main.rs:150:10:150:15 | ... .1 | main.rs:147:17:147:26 | source(...) | main.rs:150:10:150:15 | ... .1 | $@ | main.rs:147:17:147:26 | source(...) | source(...) |
| main.rs:164:10:164:12 | p.x | main.rs:163:24:163:32 | source(...) | main.rs:164:10:164:12 | p.x | $@ | main.rs:163:24:163:32 | source(...) | source(...) |
| main.rs:172:10:172:12 | p.y | main.rs:171:11:171:20 | source(...) | main.rs:172:10:172:12 | p.y | $@ | main.rs:171:11:171:20 | source(...) | source(...) |
| main.rs:181:10:181:10 | a | main.rs:177:12:177:21 | source(...) | main.rs:181:10:181:10 | a | $@ | main.rs:177:12:177:21 | source(...) | source(...) |
| main.rs:199:10:199:18 | ... .y | main.rs:194:16:194:25 | source(...) | main.rs:199:10:199:18 | ... .y | $@ | main.rs:194:16:194:25 | source(...) | source(...) |
| main.rs:215:18:215:18 | y | main.rs:204:13:204:22 | source(...) | main.rs:215:18:215:18 | y | $@ | main.rs:204:13:204:22 | source(...) | source(...) |
| main.rs:225:10:225:12 | s.0 | main.rs:224:27:224:36 | source(...) | main.rs:225:10:225:12 | s.0 | $@ | main.rs:224:27:224:36 | source(...) | source(...) |
| main.rs:230:18:230:18 | x | main.rs:224:27:224:36 | source(...) | main.rs:230:18:230:18 | x | $@ | main.rs:224:27:224:36 | source(...) | source(...) |
| main.rs:243:33:243:33 | n | main.rs:240:27:240:36 | source(...) | main.rs:243:33:243:33 | n | $@ | main.rs:240:27:240:36 | source(...) | source(...) |
| main.rs:256:25:256:25 | n | main.rs:253:19:253:28 | source(...) | main.rs:256:25:256:25 | n | $@ | main.rs:253:19:253:28 | source(...) | source(...) |
| main.rs:269:18:269:18 | n | main.rs:266:19:266:28 | source(...) | main.rs:269:18:269:18 | n | $@ | main.rs:266:19:266:28 | source(...) | source(...) |
| main.rs:273:14:273:14 | n | main.rs:266:19:266:28 | source(...) | main.rs:273:14:273:14 | n | $@ | main.rs:266:19:266:28 | source(...) | source(...) |
| main.rs:279:10:279:20 | s1.unwrap() | main.rs:278:19:278:28 | source(...) | main.rs:279:10:279:20 | s1.unwrap() | $@ | main.rs:278:19:278:28 | source(...) | source(...) |
| main.rs:284:10:284:24 | s1.unwrap_or(...) | main.rs:283:19:283:28 | source(...) | main.rs:284:10:284:24 | s1.unwrap_or(...) | $@ | main.rs:283:19:283:28 | source(...) | source(...) |
| main.rs:287:10:287:33 | s2.unwrap_or(...) | main.rs:287:23:287:32 | source(...) | main.rs:287:10:287:33 | s2.unwrap_or(...) | $@ | main.rs:287:23:287:32 | source(...) | source(...) |
| main.rs:292:10:292:32 | s1.unwrap_or_else(...) | main.rs:291:19:291:28 | source(...) | main.rs:292:10:292:32 | s1.unwrap_or_else(...) | $@ | main.rs:291:19:291:28 | source(...) | source(...) |
| main.rs:295:10:295:41 | s2.unwrap_or_else(...) | main.rs:295:31:295:40 | source(...) | main.rs:295:10:295:41 | s2.unwrap_or_else(...) | $@ | main.rs:295:31:295:40 | source(...) | source(...) |
| main.rs:302:10:302:11 | i1 | main.rs:299:19:299:28 | source(...) | main.rs:302:10:302:11 | i1 | $@ | main.rs:299:19:299:28 | source(...) | source(...) |
| main.rs:311:10:311:21 | o1a.unwrap() | main.rs:308:35:308:44 | source(...) | main.rs:311:10:311:21 | o1a.unwrap() | $@ | main.rs:308:35:308:44 | source(...) | source(...) |
| main.rs:318:10:318:21 | o2b.unwrap() | main.rs:314:36:314:45 | source(...) | main.rs:318:10:318:21 | o2b.unwrap() | $@ | main.rs:314:36:314:45 | source(...) | source(...) |
| main.rs:327:10:327:11 | i1 | main.rs:322:35:322:44 | source(...) | main.rs:327:10:327:11 | i1 | $@ | main.rs:322:35:322:44 | source(...) | source(...) |
| main.rs:336:10:336:22 | s1.expect(...) | main.rs:335:35:335:44 | source(...) | main.rs:336:10:336:22 | s1.expect(...) | $@ | main.rs:335:35:335:44 | source(...) | source(...) |
| main.rs:341:10:341:26 | s2.expect_err(...) | main.rs:339:36:339:45 | source(...) | main.rs:341:10:341:26 | s2.expect_err(...) | $@ | main.rs:339:36:339:45 | source(...) | source(...) |
| main.rs:353:35:353:35 | n | main.rs:350:29:350:38 | source(...) | main.rs:353:35:353:35 | n | $@ | main.rs:350:29:350:38 | source(...) | source(...) |
| main.rs:357:55:357:55 | n | main.rs:350:29:350:38 | source(...) | main.rs:357:55:357:55 | n | $@ | main.rs:350:29:350:38 | source(...) | source(...) |
| main.rs:371:22:371:22 | n | main.rs:368:16:368:25 | source(...) | main.rs:371:22:371:22 | n | $@ | main.rs:368:16:368:25 | source(...) | source(...) |
| main.rs:375:29:375:29 | n | main.rs:368:16:368:25 | source(...) | main.rs:375:29:375:29 | n | $@ | main.rs:368:16:368:25 | source(...) | source(...) |
| main.rs:394:48:394:48 | n | main.rs:390:18:390:27 | source(...) | main.rs:394:48:394:48 | n | $@ | main.rs:390:18:390:27 | source(...) | source(...) |
| main.rs:398:81:398:81 | n | main.rs:390:18:390:27 | source(...) | main.rs:398:81:398:81 | n | $@ | main.rs:390:18:390:27 | source(...) | source(...) |
| main.rs:414:34:414:34 | n | main.rs:410:18:410:27 | source(...) | main.rs:414:34:414:34 | n | $@ | main.rs:410:18:410:27 | source(...) | source(...) |
| main.rs:418:53:418:53 | n | main.rs:410:18:410:27 | source(...) | main.rs:418:53:418:53 | n | $@ | main.rs:410:18:410:27 | source(...) | source(...) |
| main.rs:432:10:432:11 | n1 | main.rs:430:23:430:32 | source(...) | main.rs:432:10:432:11 | n1 | $@ | main.rs:430:23:430:32 | source(...) | source(...) |
| main.rs:436:10:436:11 | n2 | main.rs:434:17:434:26 | source(...) | main.rs:436:10:436:11 | n2 | $@ | main.rs:434:17:434:26 | source(...) | source(...) |
| main.rs:446:14:446:15 | n1 | main.rs:444:23:444:32 | source(...) | main.rs:446:14:446:15 | n1 | $@ | main.rs:444:23:444:32 | source(...) | source(...) |
| main.rs:459:18:459:18 | a | main.rs:456:23:456:32 | source(...) | main.rs:459:18:459:18 | a | $@ | main.rs:456:23:456:32 | source(...) | source(...) |
| main.rs:460:18:460:18 | b | main.rs:456:23:456:32 | source(...) | main.rs:460:18:460:18 | b | $@ | main.rs:456:23:456:32 | source(...) | source(...) |
| main.rs:461:18:461:18 | c | main.rs:456:23:456:32 | source(...) | main.rs:461:18:461:18 | c | $@ | main.rs:456:23:456:32 | source(...) | source(...) |
| main.rs:472:10:472:10 | d | main.rs:470:18:470:27 | source(...) | main.rs:472:10:472:10 | d | $@ | main.rs:470:18:470:27 | source(...) | source(...) |
| main.rs:473:10:473:19 | mut_arr[0] | main.rs:470:18:470:27 | source(...) | main.rs:473:10:473:19 | mut_arr[0] | $@ | main.rs:470:18:470:27 | source(...) | source(...) |
| main.rs:497:10:497:10 | s | main.rs:496:25:496:26 | source(...) | main.rs:497:10:497:10 | s | $@ | main.rs:496:25:496:26 | source(...) | source(...) |
| main.rs:510:10:510:10 | a | main.rs:505:13:505:22 | source(...) | main.rs:510:10:510:10 | a | $@ | main.rs:505:13:505:22 | source(...) | source(...) |
| main.rs:519:10:519:14 | vs[0] | main.rs:517:15:517:24 | source(...) | main.rs:519:10:519:14 | vs[0] | $@ | main.rs:517:15:517:24 | source(...) | source(...) |
| main.rs:524:14:524:14 | v | main.rs:517:15:517:24 | source(...) | main.rs:524:14:524:14 | v | $@ | main.rs:517:15:517:24 | source(...) | source(...) |
| main.rs:544:10:544:18 | vs_mut[0] | main.rs:542:23:542:32 | source(...) | main.rs:544:10:544:18 | vs_mut[0] | $@ | main.rs:542:23:542:32 | source(...) | source(...) |
| main.rs:559:10:559:10 | a | main.rs:554:13:554:22 | source(...) | main.rs:559:10:559:10 | a | $@ | main.rs:554:13:554:22 | source(...) | source(...) |
| main.rs:562:10:562:15 | * ... | main.rs:556:13:556:22 | source(...) | main.rs:562:10:562:15 | * ... | $@ | main.rs:556:13:556:22 | source(...) | source(...) |
| main.rs:585:10:585:18 | a.clone() | main.rs:583:13:583:22 | source(...) | main.rs:585:10:585:18 | a.clone() | $@ | main.rs:583:13:583:22 | source(...) | source(...) |
| main.rs:590:10:590:10 | b | main.rs:583:13:583:22 | source(...) | main.rs:590:10:590:10 | b | $@ | main.rs:583:13:583:22 | source(...) | source(...) |