codeql/rust/ql/lib/ext/generated/rust/lang-core.model.yml at 3aed1c86962ca08db5ac985cc611396f8b6d2eed · paldepind/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/rust-all
      extensible: summaryModel
    data:
      - ["lang:core", "<&_ as crate::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<&_ as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&_ as crate::ops::deref::Deref>::deref", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&crate::net::ip_addr::Ipv4Addr as crate::ops::bit::BitAnd>::bitand", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&crate::net::ip_addr::Ipv4Addr as crate::ops::bit::BitOr>::bitor", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&crate::net::ip_addr::Ipv4Addr as crate::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&crate::net::ip_addr::Ipv6Addr as crate::ops::bit::BitAnd>::bitand", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&crate::net::ip_addr::Ipv6Addr as crate::ops::bit::BitOr>::bitor", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&crate::net::ip_addr::Ipv6Addr as crate::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&crate::result::Result as crate::iter::traits::collect::IntoIterator>::into_iter", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&mut _ as crate::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::double_ended::DoubleEndedIterator>::advance_back_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::double_ended::DoubleEndedIteratorRefSpec>::spec_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::double_ended::DoubleEndedIteratorRefSpec>::spec_rfold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::double_ended::DoubleEndedIteratorRefSpec>::spec_rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::double_ended::DoubleEndedIteratorRefSpec>::spec_try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::iterator::Iterator>::nth", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::iterator::IteratorRefSpec>::spec_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::iterator::IteratorRefSpec>::spec_fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::iterator::IteratorRefSpec>::spec_fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::iter::traits::iterator::IteratorRefSpec>::spec_try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::ops::deref::Deref>::deref", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut _ as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<&mut crate::result::Result as crate::iter::traits::collect::IntoIterator>::into_iter", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&str as crate::str::pattern::Pattern>::as_utf8_pattern", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<&str as crate::str::pattern::Pattern>::into_searcher", "Argument[0]", "ReturnValue.Field[crate::str::pattern::StrSearcher::haystack]", "value", "dfc-generated"]
      - ["lang:core", "<&str as crate::str::pattern::Pattern>::into_searcher", "Argument[self]", "ReturnValue.Field[crate::str::pattern::StrSearcher::needle]", "value", "dfc-generated"]
      - ["lang:core", "<[_] as crate::convert::AsMut>::as_mut", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<[_] as crate::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<[_] as crate::slice::SlicePattern>::as_slice", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::align_to", "Argument[self]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::align_to_mut", "Argument[self]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::as_mut_ptr", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[_]>::as_ptr", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[_]>::chunk_by", "Argument[0]", "ReturnValue.Field[crate::slice::iter::ChunkBy::predicate]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunk_by", "Argument[self]", "ReturnValue.Field[crate::slice::iter::ChunkBy::slice]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunk_by_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::ChunkByMut::predicate]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunk_by_mut", "Argument[self]", "ReturnValue.Field[crate::slice::iter::ChunkByMut::slice]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunks", "Argument[0]", "ReturnValue.Field[crate::slice::iter::Chunks::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunks", "Argument[self]", "ReturnValue.Field[crate::slice::iter::Chunks::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunks_exact", "Argument[0]", "ReturnValue.Field[crate::slice::iter::ChunksExact::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunks_exact_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::ChunksExactMut::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunks_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::ChunksMut::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::chunks_mut", "Argument[self]", "ReturnValue.Field[crate::slice::iter::ChunksMut::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::partition_dedup_by", "Argument[self]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rchunks", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RChunks::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rchunks", "Argument[self]", "ReturnValue.Field[crate::slice::iter::RChunks::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rchunks_exact", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RChunksExact::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rchunks_exact_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RChunksExactMut::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rchunks_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RChunksMut::chunk_size]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rchunks_mut", "Argument[self]", "ReturnValue.Field[crate::slice::iter::RChunksMut::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rsplit", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RSplit::inner].Field[crate::slice::iter::Split::pred]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rsplit", "Argument[self]", "ReturnValue.Field[crate::slice::iter::RSplit::inner].Field[crate::slice::iter::Split::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rsplit_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RSplitMut::inner].Field[crate::slice::iter::SplitMut::pred]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rsplit_mut", "Argument[self]", "ReturnValue.Field[crate::slice::iter::RSplitMut::inner].Field[crate::slice::iter::SplitMut::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rsplit_once", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[_]>::rsplitn", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RSplitN::inner].Field[crate::slice::iter::GenericSplitN::count]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::rsplitn_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::RSplitNMut::inner].Field[crate::slice::iter::GenericSplitN::count]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split", "Argument[0]", "ReturnValue.Field[crate::slice::iter::Split::pred]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split", "Argument[self]", "ReturnValue.Field[crate::slice::iter::Split::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split_inclusive", "Argument[0]", "ReturnValue.Field[crate::slice::iter::SplitInclusive::pred]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split_inclusive", "Argument[self]", "ReturnValue.Field[crate::slice::iter::SplitInclusive::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split_inclusive_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::SplitInclusiveMut::pred]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split_inclusive_mut", "Argument[self]", "ReturnValue.Field[crate::slice::iter::SplitInclusiveMut::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::SplitMut::pred]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split_mut", "Argument[self]", "ReturnValue.Field[crate::slice::iter::SplitMut::v]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::split_once", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[_]>::splitn", "Argument[0]", "ReturnValue.Field[crate::slice::iter::SplitN::inner].Field[crate::slice::iter::GenericSplitN::count]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::splitn_mut", "Argument[0]", "ReturnValue.Field[crate::slice::iter::SplitNMut::inner].Field[crate::slice::iter::GenericSplitN::count]", "value", "dfc-generated"]
      - ["lang:core", "<[_]>::windows", "Argument[self]", "ReturnValue.Field[crate::slice::iter::Windows::v]", "value", "dfc-generated"]
      - ["lang:core", "<[crate::ascii::ascii_char::AsciiChar]>::as_str", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[crate::mem::maybe_uninit::MaybeUninit]>::assume_init_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[crate::mem::maybe_uninit::MaybeUninit]>::assume_init_ref", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[u8] as crate::num::dec2flt::common::ByteSlice>::parse_digits", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<[u8]>::as_ascii_unchecked", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<[u8]>::trim_ascii_end", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<[u8]>::trim_ascii_start", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<[u8]>::utf8_chunks", "Argument[self]", "ReturnValue.Field[crate::str::lossy::Utf8Chunks::source]", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::array::SpecArrayClone>::clone", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::async_iter::async_iter::IntoAsyncIterator>::into_async_iter", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::borrow::Borrow>::borrow", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::borrow::BorrowMut>::borrow_mut", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::clone::uninit::CopySpec>::clone_one", "Argument[0].Reference", "Argument[1].Reference", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::clone::uninit::CopySpec>::clone_one", "Argument[0]", "Argument[1].Reference", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::convert::From>::from", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::future::into_future::IntoFuture>::into_future", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::iter::adapters::step_by::SpecRangeSetup>::setup", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::iter::traits::collect::IntoIterator>::into_iter", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<_ as crate::str::pattern::MultiCharEq>::matches", "Argument[0]", "Argument[self].Reference.Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<_ as crate::str::pattern::MultiCharEq>::matches", "Argument[self].Reference.ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<bool as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<bool as crate::cmp::Ord>::max", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::cmp::Ord>::max", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::cmp::Ord>::min", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::cmp::Ord>::min", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::intrinsics::fallback::DisjointBitOr>::disjoint_bitor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::intrinsics::fallback::DisjointBitOr>::disjoint_bitor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::ops::bit::BitAnd>::bitand", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::ops::bit::BitAnd>::bitand", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::ops::bit::BitOr>::bitor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::ops::bit::BitXor>::bitxor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::ops::bit::BitXor>::bitxor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool as crate::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<bool>::select_unpredictable", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<bool>::select_unpredictable", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<bool>::then", "Argument[0].ReturnValue", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<bool>::then_some", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<char as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<char as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<char as crate::str::pattern::Pattern>::as_utf8_pattern", "Argument[self].Reference", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::str::pattern::Utf8Pattern::CharPattern(0)]", "value", "dfc-generated"]
      - ["lang:core", "<char as crate::str::pattern::Pattern>::into_searcher", "Argument[0]", "ReturnValue.Field[crate::str::pattern::CharSearcher::haystack]", "value", "dfc-generated"]
      - ["lang:core", "<char as crate::str::pattern::Pattern>::into_searcher", "Argument[self]", "ReturnValue.Field[crate::str::pattern::CharSearcher::needle]", "value", "dfc-generated"]
      - ["lang:core", "<char>::from_digit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<char>::to_ascii_lowercase", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<char>::to_ascii_uppercase", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::align", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::align_to", "Argument[self].Field[crate::alloc::layout::Layout::align]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::alloc::layout::Layout::align]", "value", "dfc-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::align_to", "Argument[self].Field[crate::alloc::layout::Layout::size]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::alloc::layout::Layout::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::extend_packed", "Argument[self].Field[crate::alloc::layout::Layout::align]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::alloc::layout::Layout::align]", "value", "dfc-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::from_size_align", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::alloc::layout::Layout::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::from_size_align_unchecked", "Argument[0]", "ReturnValue.Field[crate::alloc::layout::Layout::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::repeat", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::repeat_packed", "Argument[self].Field[crate::alloc::layout::Layout::align]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::alloc::layout::Layout::align]", "value", "dfc-generated"]
      - ["lang:core", "<crate::alloc::layout::Layout>::size", "Argument[self].Field[crate::alloc::layout::Layout::size]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::array::iter::IntoIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::array::iter::IntoIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::array::iter::IntoIter>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::array::iter::IntoIter::data]", "value", "dfc-generated"]
      - ["lang:core", "<crate::array::iter::IntoIter>::new_unchecked", "Argument[1].Field[crate::ops::range::Range::end]", "ReturnValue.Field[crate::array::iter::IntoIter::alive].Field[crate::ops::index_range::IndexRange::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::array::iter::IntoIter>::new_unchecked", "Argument[1].Field[crate::ops::range::Range::start]", "ReturnValue.Field[crate::array::iter::IntoIter::alive].Field[crate::ops::index_range::IndexRange::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ascii::ascii_char::AsciiChar>::to_char", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::ascii::ascii_char::AsciiChar>::to_u8", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::asserting::Wrapper as crate::asserting::TryCapturePrintable>::try_capture", "Argument[self].Field[0].Reference", "Argument[0].Field[crate::asserting::Capture::elem].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::asserting::Wrapper as crate::asserting::TryCapturePrintable>::try_capture", "Argument[self].Field[crate::asserting::Wrapper(0)].Reference", "Argument[0].Field[crate::asserting::Capture::elem].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::borrow::Borrow>::borrow", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::borrow::Borrow>::borrow", "Argument[self].Field[crate::bstr::ByteStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Field[crate::bstr::ByteStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::convert::AsMut>::as_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::convert::AsMut>::as_mut", "Argument[self].Field[crate::bstr::ByteStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::convert::AsRef>::as_ref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::convert::AsRef>::as_ref", "Argument[self].Field[crate::bstr::ByteStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::bstr::ByteStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[crate::bstr::ByteStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::index::Index>::index", "Argument[self].Field[0].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::index::Index>::index", "Argument[self].Field[crate::bstr::ByteStr(0)].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::index::Index>::index", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::index::IndexMut>::index_mut", "Argument[self].Field[0].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::index::IndexMut>::index_mut", "Argument[self].Field[crate::bstr::ByteStr(0)].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr as crate::ops::index::IndexMut>::index_mut", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr>::as_bytes", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr>::as_bytes", "Argument[self].Field[crate::bstr::ByteStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::bstr::ByteStr>::from_bytes", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::bstr::ByteStr>::from_bytes_mut", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::BorrowRef as crate::clone::Clone>::clone", "Argument[self].Field[crate::cell::BorrowRef::borrow]", "ReturnValue.Field[crate::cell::BorrowRef::borrow]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Cell as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::cell::Cell::value].Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Cell>::as_array_of_cells", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::Cell>::as_slice_of_cells", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::Cell>::from_mut", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::Cell>::into_inner", "Argument[self].Field[crate::cell::Cell::value].Field[crate::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Cell>::new", "Argument[0]", "ReturnValue.Field[crate::cell::Cell::value].Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Cell>::update", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Ref>::clone", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::Ref>::filter_map", "Argument[0].Field[crate::cell::Ref::borrow]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::cell::Ref::borrow]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Ref>::filter_map", "Argument[0].Reference", "Argument[1].Parameter[0].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Ref>::filter_map", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Ref>::map", "Argument[0].Field[crate::cell::Ref::borrow]", "ReturnValue.Field[crate::cell::Ref::borrow]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Ref>::map", "Argument[0].Reference", "Argument[1].Parameter[0].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::Ref>::map_split", "Argument[0]", "Argument[1]", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::Ref>::map_split", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::RefCell as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::cell::RefCell::value].Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefCell>::into_inner", "Argument[self].Field[crate::cell::RefCell::value].Field[crate::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefCell>::new", "Argument[0]", "ReturnValue.Field[crate::cell::RefCell::value].Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefMut>::filter_map", "Argument[0].Field[crate::cell::RefMut::borrow]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::cell::RefMut::borrow]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefMut>::filter_map", "Argument[0].Reference", "Argument[1].Parameter[0].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefMut>::filter_map", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefMut>::map", "Argument[0].Field[crate::cell::RefMut::borrow]", "ReturnValue.Field[crate::cell::RefMut::borrow]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefMut>::map", "Argument[0].Reference", "Argument[1].Parameter[0].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::RefMut>::map_split", "Argument[0]", "Argument[1]", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::RefMut>::map_split", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::SyncUnsafeCell as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::cell::SyncUnsafeCell::value].Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::SyncUnsafeCell>::into_inner", "Argument[self].Field[crate::cell::SyncUnsafeCell::value].Field[crate::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::SyncUnsafeCell>::new", "Argument[0]", "ReturnValue.Field[crate::cell::SyncUnsafeCell::value].Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::SyncUnsafeCell>::raw_get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::UnsafeCell as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::UnsafeCell>::from_mut", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::UnsafeCell>::get", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::UnsafeCell>::get_mut", "Argument[self].Field[crate::cell::UnsafeCell::value]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::UnsafeCell>::into_inner", "Argument[self].Field[crate::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::UnsafeCell>::new", "Argument[0]", "ReturnValue.Field[crate::cell::UnsafeCell::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::UnsafeCell>::raw_get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::once::OnceCell>::get_or_try_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cell::once::OnceCell>::into_inner", "Argument[self].Field[crate::cell::once::OnceCell::inner].Field[crate::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::once::OnceCell>::set", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::cell::once::OnceCell>::try_insert", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::CaseMappingIter as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::char::CaseMappingIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::CaseMappingIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::EscapeDebug as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[0].Field[crate::char::EscapeDebugInner::Char(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::EscapeDebug as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::char::EscapeDebug(0)].Field[crate::char::EscapeDebugInner::Char(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::ToLowercase as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::char::ToLowercase as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::ToLowercase as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::ToUppercase as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::char::ToUppercase as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::ToUppercase as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::decode::DecodeUtf16 as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::char::decode::DecodeUtf16::iter].Element", "Argument[self].Field[crate::char::decode::DecodeUtf16::buf].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::decode::DecodeUtf16 as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::char::decode::DecodeUtf16::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::char::decode::DecodeUtf16Error>::unpaired_surrogate", "Argument[self].Field[crate::char::decode::DecodeUtf16Error::code]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cmp::Ordering>::then", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cmp::Ordering>::then", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cmp::Ordering>::then_with", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cmp::Ordering>::then_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::cmp::Reverse as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::cmp::Reverse as crate::clone::Clone>::clone_from", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::convert::Infallible as crate::convert::From>::from", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::error::Request>::provide_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::error::Request>::provide_ref_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::error::Request>::provide_value", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::error::Request>::provide_value_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::error::Source as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::error::Source::current]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::error::Tagged>::as_request", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::escape::EscapeIterInner>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::escape::EscapeIterInner>::backslash", "Argument[0]", "ReturnValue.Field[crate::escape::EscapeIterInner::data].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::ffi::c_str::CStr as crate::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ffi::va_list::VaList as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::ffi::va_list::VaList::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ffi::va_list::VaList as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[crate::ffi::va_list::VaList::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ffi::va_list::VaListImpl>::with_copy", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Arguments>::as_str", "Argument[self].Field[crate::fmt::Arguments::pieces].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Arguments>::new_const", "Argument[0]", "ReturnValue.Field[crate::fmt::Arguments::pieces]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Arguments>::new_v1", "Argument[0]", "ReturnValue.Field[crate::fmt::Arguments::pieces]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Arguments>::new_v1", "Argument[1]", "ReturnValue.Field[crate::fmt::Arguments::args]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Arguments>::new_v1_formatted", "Argument[0]", "ReturnValue.Field[crate::fmt::Arguments::pieces]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Arguments>::new_v1_formatted", "Argument[1]", "ReturnValue.Field[crate::fmt::Arguments::args]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Arguments>::new_v1_formatted", "Argument[2]", "ReturnValue.Field[crate::fmt::Arguments::fmt].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::align", "Argument[self].Field[crate::fmt::Formatter::options].Field[crate::fmt::FormattingOptions::align]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::debug_list", "Argument[self]", "ReturnValue.Field[crate::fmt::builders::DebugList::inner].Field[crate::fmt::builders::DebugInner::fmt]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::debug_map", "Argument[self]", "ReturnValue.Field[crate::fmt::builders::DebugMap::fmt]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::debug_set", "Argument[self]", "ReturnValue.Field[crate::fmt::builders::DebugSet::inner].Field[crate::fmt::builders::DebugInner::fmt]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::debug_struct", "Argument[self]", "ReturnValue.Field[crate::fmt::builders::DebugStruct::fmt]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::debug_tuple", "Argument[self]", "ReturnValue.Field[crate::fmt::builders::DebugTuple::fmt]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::fill", "Argument[self].Field[crate::fmt::Formatter::options].Field[crate::fmt::FormattingOptions::fill]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::flags", "Argument[self].Field[crate::fmt::Formatter::options].Field[crate::fmt::FormattingOptions::flags]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::new", "Argument[0]", "ReturnValue.Field[crate::fmt::Formatter::buf]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::new", "Argument[1]", "ReturnValue.Field[crate::fmt::Formatter::options]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::options", "Argument[self].Field[crate::fmt::Formatter::options]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::padding", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::fmt::PostPadding::padding]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::padding", "Argument[self].Field[crate::fmt::Formatter::options].Field[crate::fmt::FormattingOptions::fill]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::fmt::PostPadding::fill]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::precision", "Argument[self].Field[crate::fmt::Formatter::options].Field[crate::fmt::FormattingOptions::precision]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::width", "Argument[self].Field[crate::fmt::Formatter::options].Field[crate::fmt::FormattingOptions::width]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::with_options", "Argument[0]", "ReturnValue.Field[crate::fmt::Formatter::options]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::Formatter>::with_options", "Argument[self].Field[crate::fmt::Formatter::buf]", "ReturnValue.Field[crate::fmt::Formatter::buf]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::align", "Argument[0]", "Argument[self].Field[crate::fmt::FormattingOptions::align]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::align", "Argument[0]", "ReturnValue.Field[crate::fmt::FormattingOptions::align]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::align", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::alternate", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::create_formatter", "Argument[0]", "ReturnValue.Field[crate::fmt::Formatter::buf]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::create_formatter", "Argument[self]", "ReturnValue.Field[crate::fmt::Formatter::options]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::debug_as_hex", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::fill", "Argument[0]", "Argument[self].Field[crate::fmt::FormattingOptions::fill]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::fill", "Argument[0]", "ReturnValue.Field[crate::fmt::FormattingOptions::fill]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::fill", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::flags", "Argument[0]", "Argument[self].Field[crate::fmt::FormattingOptions::flags]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::get_align", "Argument[self].Field[crate::fmt::FormattingOptions::align]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::get_fill", "Argument[self].Field[crate::fmt::FormattingOptions::fill]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::get_flags", "Argument[self].Field[crate::fmt::FormattingOptions::flags]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::get_precision", "Argument[self].Field[crate::fmt::FormattingOptions::precision]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::get_width", "Argument[self].Field[crate::fmt::FormattingOptions::width]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::precision", "Argument[0]", "Argument[self].Field[crate::fmt::FormattingOptions::precision]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::precision", "Argument[0]", "ReturnValue.Field[crate::fmt::FormattingOptions::precision]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::precision", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::sign", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::sign_aware_zero_pad", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::width", "Argument[0]", "Argument[self].Field[crate::fmt::FormattingOptions::width]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::width", "Argument[0]", "ReturnValue.Field[crate::fmt::FormattingOptions::width]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::FormattingOptions>::width", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugList>::entries", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugList>::entry", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugList>::entry_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugList>::finish", "Argument[self].Field[crate::fmt::builders::DebugList::inner].Field[crate::fmt::builders::DebugInner::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::entries", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::entry", "Argument[self].Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::entry", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::finish", "Argument[self].Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::finish", "Argument[self].Field[crate::fmt::builders::DebugMap::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::finish_non_exhaustive", "Argument[self].Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::finish_non_exhaustive", "Argument[self].Field[crate::fmt::builders::DebugMap::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::key", "Argument[self].Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::key", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::key_with", "Argument[self].Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::key_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::value", "Argument[self].Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::value", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::value_with", "Argument[self].Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugMap::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugMap>::value_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugSet>::entries", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugSet>::entry", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugSet>::entry_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugSet>::finish", "Argument[self].Field[crate::fmt::builders::DebugSet::inner].Field[crate::fmt::builders::DebugInner::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugSet>::finish_non_exhaustive", "Argument[self].Field[crate::fmt::builders::DebugSet::inner].Field[crate::fmt::builders::DebugInner::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::field", "Argument[self].Field[crate::fmt::builders::DebugStruct::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugStruct::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::field", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::field_with", "Argument[self].Field[crate::fmt::builders::DebugStruct::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugStruct::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::field_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::finish", "Argument[self].Field[crate::fmt::builders::DebugStruct::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::finish", "Argument[self].Field[crate::fmt::builders::DebugStruct::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::finish_non_exhaustive", "Argument[self].Field[crate::fmt::builders::DebugStruct::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugStruct>::finish_non_exhaustive", "Argument[self].Field[crate::fmt::builders::DebugStruct::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::field", "Argument[self].Field[crate::fmt::builders::DebugTuple::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugTuple::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::field", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::field_with", "Argument[self].Field[crate::fmt::builders::DebugTuple::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::fmt::builders::DebugTuple::result].Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::field_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::finish", "Argument[self].Field[crate::fmt::builders::DebugTuple::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::finish", "Argument[self].Field[crate::fmt::builders::DebugTuple::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::finish_non_exhaustive", "Argument[self].Field[crate::fmt::builders::DebugTuple::result].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::DebugTuple>::finish_non_exhaustive", "Argument[self].Field[crate::fmt::builders::DebugTuple::result]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::builders::FromFn as crate::fmt::Debug>::fmt", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::builders::FromFn as crate::fmt::Debug>::fmt", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::builders::FromFn as crate::fmt::Display>::fmt", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::builders::FromFn as crate::fmt::Display>::fmt", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::num::Binary as crate::fmt::num::GenericRadix>::digit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::num::LowerHex as crate::fmt::num::GenericRadix>::digit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::num::Octal as crate::fmt::num::GenericRadix>::digit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::num::UpperHex as crate::fmt::num::GenericRadix>::digit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::fmt::rt::Argument>::as_usize", "Argument[self].Field[crate::fmt::rt::Argument::ty].Field[crate::fmt::rt::ArgumentType::Count(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::rt::Argument>::from_usize", "Argument[0].Reference", "ReturnValue.Field[crate::fmt::rt::Argument::ty].Field[crate::fmt::rt::ArgumentType::Count(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::rt::Placeholder>::new", "Argument[0]", "ReturnValue.Field[crate::fmt::rt::Placeholder::position]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::rt::Placeholder>::new", "Argument[1]", "ReturnValue.Field[crate::fmt::rt::Placeholder::fill]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::rt::Placeholder>::new", "Argument[2]", "ReturnValue.Field[crate::fmt::rt::Placeholder::align]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::rt::Placeholder>::new", "Argument[3]", "ReturnValue.Field[crate::fmt::rt::Placeholder::flags]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::rt::Placeholder>::new", "Argument[4]", "ReturnValue.Field[crate::fmt::rt::Placeholder::precision]", "value", "dfc-generated"]
      - ["lang:core", "<crate::fmt::rt::Placeholder>::new", "Argument[5]", "ReturnValue.Field[crate::fmt::rt::Placeholder::width]", "value", "dfc-generated"]
      - ["lang:core", "<crate::future::join::MaybeDone>::take_output", "Argument[self].Reference.Field[crate::future::join::MaybeDone::Done(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::future::ready::Ready>::into_inner", "Argument[self].Field[0].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::future::ready::Ready>::into_inner", "Argument[self].Field[crate::future::ready::Ready(0)].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::hash::sip::Hasher as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::hash::sip::Hasher as crate::hash::Hasher>::finish", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::hash::sip::SipHasher13>::new_with_keys", "Argument[0]", "ReturnValue.Field[crate::hash::sip::SipHasher13::hasher].Field[crate::hash::sip::Hasher::k0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::hash::sip::SipHasher13>::new_with_keys", "Argument[1]", "ReturnValue.Field[crate::hash::sip::SipHasher13::hasher].Field[crate::hash::sip::Hasher::k1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::io::borrowed_buf::BorrowedBuf::buf]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::clear", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::init_len", "Argument[self].Field[crate::io::borrowed_buf::BorrowedBuf::init]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::len", "Argument[self].Field[crate::io::borrowed_buf::BorrowedBuf::filled]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::set_init", "Argument[0]", "Argument[self].Field[crate::io::borrowed_buf::BorrowedBuf::init]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::set_init", "Argument[0]", "ReturnValue.Field[crate::io::borrowed_buf::BorrowedBuf::init]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::set_init", "Argument[self].Field[crate::io::borrowed_buf::BorrowedBuf::init]", "ReturnValue.Field[crate::io::borrowed_buf::BorrowedBuf::init]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::set_init", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedBuf>::unfilled", "Argument[self].Field[crate::io::borrowed_buf::BorrowedBuf::filled]", "ReturnValue.Field[crate::io::borrowed_buf::BorrowedCursor::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::advance", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::advance_unchecked", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::capacity", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::ensure_init", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::reborrow", "Argument[self].Field[crate::io::borrowed_buf::BorrowedCursor::start]", "ReturnValue.Field[crate::io::borrowed_buf::BorrowedCursor::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::set_init", "Argument[self].Field[crate::io::borrowed_buf::BorrowedCursor::buf].Field[crate::io::borrowed_buf::BorrowedBuf::init]", "ReturnValue.Field[crate::io::borrowed_buf::BorrowedCursor::buf].Field[crate::io::borrowed_buf::BorrowedBuf::init]", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::set_init", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::io::borrowed_buf::BorrowedCursor>::written", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks as crate::iter::adapters::array_chunks::SpecFold>::fold", "Argument[0].Field[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks as crate::iter::adapters::array_chunks::SpecFold>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks as crate::iter::adapters::array_chunks::SpecFold>::fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks as crate::iter::adapters::array_chunks::SpecFold>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks>::into_remainder", "Argument[self].Field[crate::iter::adapters::array_chunks::ArrayChunks::remainder]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::array_chunks::ArrayChunks>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::array_chunks::ArrayChunks::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::chain::Chain as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::chain::Chain as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::chain::Chain as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::chain::Chain as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::chain::Chain>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::chain::Chain::a].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::chain::Chain>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::chain::Chain::b].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cloned::Cloned as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cloned::Cloned as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cloned::Cloned as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cloned::Cloned as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cloned::Cloned as crate::iter::traits::unchecked_iterator::UncheckedIterator>::next_unchecked", "Argument[self].Field[crate::iter::adapters::cloned::Cloned::it].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cloned::Cloned>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::cloned::Cloned::it]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::double_ended::DoubleEndedIterator>::advance_back_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::copied::Copied>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::copied::Copied::it]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::orig].Reference", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::orig]", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::iter].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::orig]", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::orig].Reference", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::orig]", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::iter].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::orig]", "Argument[self].Field[crate::iter::adapters::cycle::Cycle::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::cycle::Cycle>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::double_ended::DoubleEndedIterator>::advance_back_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::__iterator_get_unchecked", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::__iterator_get_unchecked", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::enumerate::Enumerate::count]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::enumerate::Enumerate::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)].Field[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::enumerate::Enumerate::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::adapters::enumerate::Enumerate::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)].Field[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::adapters::enumerate::Enumerate::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::enumerate::Enumerate>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::enumerate::Enumerate::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::filter::Filter::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter::Filter>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::filter::Filter::predicate]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::filter_map::FilterMap::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::filter_map::FilterMap>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::filter_map::FilterMap::f]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap as crate::clone::Clone>::clone", "Argument[self].Field[crate::iter::adapters::flatten::FlatMap::inner].Reference", "ReturnValue.Field[crate::iter::adapters::flatten::FlatMap::inner]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap as crate::clone::Clone>::clone", "Argument[self].Field[crate::iter::adapters::flatten::FlatMap::inner]", "ReturnValue.Field[crate::iter::adapters::flatten::FlatMap::inner]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap>::into_parts", "Argument[self].Field[crate::iter::adapters::flatten::FlatMap::inner].Field[crate::iter::adapters::flatten::FlattenCompat::backiter]", "ReturnValue.Field[2]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlatMap>::into_parts", "Argument[self].Field[crate::iter::adapters::flatten::FlatMap::inner].Field[crate::iter::adapters::flatten::FlattenCompat::frontiter]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::Flatten as crate::clone::Clone>::clone", "Argument[self].Field[crate::iter::adapters::flatten::Flatten::inner].Reference", "ReturnValue.Field[crate::iter::adapters::flatten::Flatten::inner]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::Flatten as crate::clone::Clone>::clone", "Argument[self].Field[crate::iter::adapters::flatten::Flatten::inner]", "ReturnValue.Field[crate::iter::adapters::flatten::Flatten::inner]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::Flatten as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::Flatten as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::Flatten as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::Flatten as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlattenCompat as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlattenCompat as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::flatten::FlattenCompat as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::fuse::Fuse as crate::iter::adapters::fuse::FuseImpl>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::fuse::Fuse as crate::iter::adapters::fuse::FuseImpl>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::fuse::Fuse as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::fuse::Fuse as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::fuse::Fuse>::into_inner", "Argument[self].Field[crate::iter::adapters::fuse::Fuse::iter]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::fuse::Fuse>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::fuse::Fuse::iter].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::inspect::Inspect::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::inspect::Inspect>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::inspect::Inspect::f]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::Intersperse as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::Intersperse as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::Intersperse as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::intersperse::Intersperse::separator].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::Intersperse as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::intersperse::Intersperse::separator]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::Intersperse>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::intersperse::Intersperse::separator]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::IntersperseWith as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::IntersperseWith as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::IntersperseWith as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::IntersperseWith as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::intersperse::IntersperseWith>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::intersperse::IntersperseWith::separator]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::iterator::Iterator>::__iterator_get_unchecked", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map as crate::iter::traits::unchecked_iterator::UncheckedIterator>::next_unchecked", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map>::into_inner", "Argument[self].Field[crate::iter::adapters::map::Map::iter]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::map::Map::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map::Map>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::map::Map::f]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map_while::MapWhile as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::map_while::MapWhile::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map_while::MapWhile>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::map_while::MapWhile::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map_while::MapWhile>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::map_while::MapWhile::predicate]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map_windows::Buffer as crate::clone::Clone>::clone", "Argument[self].Field[crate::iter::adapters::map_windows::Buffer::start]", "ReturnValue.Field[crate::iter::adapters::map_windows::Buffer::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map_windows::MapWindows as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::map_windows::MapWindows as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::map_windows::MapWindows>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::map_windows::MapWindows::f]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::map_windows::MapWindowsInner as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::last", "Argument[self].Field[crate::iter::adapters::peekable::Peekable::peeked].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::peekable::Peekable::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::peekable::Peekable::peeked].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::adapters::peekable::Peekable::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::adapters::peekable::Peekable::peeked].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::peekable::Peekable::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable>::peek", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::peekable::Peekable>::peek_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::double_ended::DoubleEndedIterator>::advance_back_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[crate::iter::adapters::rev::Rev::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[crate::iter::adapters::rev::Rev::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::rev::Rev>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::rev::Rev::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::scan::Scan as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::scan::Scan::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::scan::Scan>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::scan::Scan::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::scan::Scan>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::scan::Scan::state]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::scan::Scan>::new", "Argument[2]", "ReturnValue.Field[crate::iter::adapters::scan::Scan::f]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::iterator::Iterator>::last", "Argument[self].Field[crate::iter::adapters::skip::Skip::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::skip::Skip::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::adapters::skip::Skip::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::adapters::skip::Skip::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::skip::Skip::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip::Skip>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::skip::Skip::n]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip_while::SkipWhile as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip_while::SkipWhile as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip_while::SkipWhile as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip_while::SkipWhile as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip_while::SkipWhile>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::skip_while::SkipWhile::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::skip_while::SkipWhile>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::skip_while::SkipWhile::predicate]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByBackImpl>::spec_next_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByBackImpl>::spec_rfold", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByBackImpl>::spec_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByBackImpl>::spec_rfold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByBackImpl>::spec_rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByBackImpl>::spec_try_rfold", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByBackImpl>::spec_try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_fold", "Argument[self].Field[crate::iter::adapters::step_by::StepBy::iter].Element", "Argument[1].Parameter[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_fold", "Argument[self].Field[crate::iter::adapters::step_by::StepBy::iter].Field[crate::ops::range::Range::start]", "Argument[1].Parameter[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_next", "Argument[self].Field[crate::iter::adapters::step_by::StepBy::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_next", "Argument[self].Field[crate::iter::adapters::step_by::StepBy::iter].Field[crate::ops::range::Range::start]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_nth", "Argument[self].Field[crate::iter::adapters::step_by::StepBy::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_size_hint", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy as crate::iter::adapters::step_by::StepByImpl>::spec_try_fold", "Argument[self].Field[crate::iter::adapters::step_by::StepBy::iter].Element", "Argument[1].Parameter[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::step_by::StepBy>::new", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::adapters::take::SpecTake>::spec_fold", "Argument[0].Field[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::adapters::take::SpecTake>::spec_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::adapters::take::SpecTake>::spec_fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::adapters::take::SpecTake>::spec_fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::double_ended::DoubleEndedIterator>::advance_back_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::iter::adapters::take::Take::n]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::take::Take::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::adapters::take::Take::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::iter::adapters::take::Take::n]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::iter::adapters::take::Take::n]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::take::Take::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take::Take>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::take::Take::n]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take_while::TakeWhile as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::take_while::TakeWhile::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take_while::TakeWhile as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::adapters::take_while::TakeWhile::iter].Element", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take_while::TakeWhile as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take_while::TakeWhile>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::take_while::TakeWhile::iter]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::take_while::TakeWhile>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::take_while::TakeWhile::predicate]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::SpecFold>::spec_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::SpecFold>::spec_fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::SpecFold>::spec_fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::ZipImpl>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::ZipImpl>::fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::ZipImpl>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::ZipImpl>::new", "Argument[0]", "ReturnValue.Field[crate::iter::adapters::zip::Zip::a]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::ZipImpl>::new", "Argument[1]", "ReturnValue.Field[crate::iter::adapters::zip::Zip::b]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::adapters::zip::Zip as crate::iter::adapters::zip::ZipImpl>::size_hint", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::from_fn::FromFn as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::once_with::OnceWith as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::sources::once_with::OnceWith::make].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::once_with::OnceWith as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::sources::once_with::OnceWith::make].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat::Repeat as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::iter::sources::repeat::Repeat::element]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_n::RepeatN as crate::clone::Clone>::clone", "Argument[self].Field[crate::iter::sources::repeat_n::RepeatN::count]", "ReturnValue.Field[crate::iter::sources::repeat_n::RepeatN::count]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_n::RepeatN as crate::iter::traits::double_ended::DoubleEndedIterator>::advance_back_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_n::RepeatN as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_n::RepeatN as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::iter::sources::repeat_n::RepeatN::count]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_n::RepeatN as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_n::RepeatN as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_n::RepeatN as crate::iter::traits::iterator::Iterator>::advance_by", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_with::RepeatWith as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_with::RepeatWith as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::repeat_with::RepeatWith as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[self]", "Argument[1]", "taint", "df-generated"]
      - ["lang:core", "<crate::iter::sources::successors::Successors as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::marker::variance::PhantomContravariant as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::marker::variance::PhantomCovariant as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::marker::variance::PhantomInvariant as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::Discriminant as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::manually_drop::ManuallyDrop as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::mem::manually_drop::ManuallyDrop::value]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::manually_drop::ManuallyDrop as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[crate::mem::manually_drop::ManuallyDrop::value]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::manually_drop::ManuallyDrop>::into_inner", "Argument[0].Field[crate::mem::manually_drop::ManuallyDrop::value]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::manually_drop::ManuallyDrop>::new", "Argument[0]", "ReturnValue.Field[crate::mem::manually_drop::ManuallyDrop::value]", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::manually_drop::ManuallyDrop>::take", "Argument[0].Field[crate::mem::manually_drop::ManuallyDrop::value]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::maybe_uninit::MaybeUninit as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::mem::maybe_uninit::MaybeUninit>::as_mut_ptr", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::mem::maybe_uninit::MaybeUninit>::as_ptr", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::net::ip_addr::IpAddr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::IpAddr::V4(0)].Field[crate::net::ip_addr::Ipv4Addr::octets]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::IpAddr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::IpAddr::V4(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::IpAddr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::IpAddr::V6(0)].Field[crate::net::ip_addr::Ipv6Addr::octets]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::IpAddr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::IpAddr::V6(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::IpAddr>::to_canonical", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::Ipv4Addr::octets]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr as crate::ops::bit::BitAnd>::bitand", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr as crate::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr as crate::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::as_octets", "Argument[self].Field[crate::net::ip_addr::Ipv4Addr::octets]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::from_octets", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::Ipv4Addr::octets]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::new", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::Ipv4Addr::octets].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::new", "Argument[1]", "ReturnValue.Field[crate::net::ip_addr::Ipv4Addr::octets].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::new", "Argument[2]", "ReturnValue.Field[crate::net::ip_addr::Ipv4Addr::octets].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::new", "Argument[3]", "ReturnValue.Field[crate::net::ip_addr::Ipv4Addr::octets].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::octets", "Argument[self].Field[crate::net::ip_addr::Ipv4Addr::octets]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::to_ipv6_compatible", "Argument[self].Field[crate::net::ip_addr::Ipv4Addr::octets].Element", "ReturnValue.Field[crate::net::ip_addr::Ipv6Addr::octets].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv4Addr>::to_ipv6_mapped", "Argument[self].Field[crate::net::ip_addr::Ipv4Addr::octets].Element", "ReturnValue.Field[crate::net::ip_addr::Ipv6Addr::octets].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::Ipv6Addr::octets]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr as crate::ops::bit::BitAnd>::bitand", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr as crate::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr as crate::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr>::as_octets", "Argument[self].Field[crate::net::ip_addr::Ipv6Addr::octets]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr>::from_octets", "Argument[0]", "ReturnValue.Field[crate::net::ip_addr::Ipv6Addr::octets]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr>::octets", "Argument[self].Field[crate::net::ip_addr::Ipv6Addr::octets]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr>::to_canonical", "Argument[self].Reference", "ReturnValue.Field[crate::net::ip_addr::IpAddr::V6(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::ip_addr::Ipv6Addr>::to_ipv4_mapped", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr as crate::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V4(0)].Field[crate::net::socket_addr::SocketAddrV4::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr as crate::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V6(0)].Field[crate::net::socket_addr::SocketAddrV6::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V4(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V6(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr>::new", "Argument[0].Field[crate::net::ip_addr::IpAddr::V4(0)]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V4(0)].Field[crate::net::socket_addr::SocketAddrV4::ip]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr>::new", "Argument[0].Field[crate::net::ip_addr::IpAddr::V6(0)]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V6(0)].Field[crate::net::socket_addr::SocketAddrV6::ip]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr>::new", "Argument[1]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V4(0)].Field[crate::net::socket_addr::SocketAddrV4::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddr>::new", "Argument[1]", "ReturnValue.Field[crate::net::socket_addr::SocketAddr::V6(0)].Field[crate::net::socket_addr::SocketAddrV6::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV4>::ip", "Argument[self].Field[crate::net::socket_addr::SocketAddrV4::ip]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV4>::new", "Argument[0]", "ReturnValue.Field[crate::net::socket_addr::SocketAddrV4::ip]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV4>::new", "Argument[1]", "ReturnValue.Field[crate::net::socket_addr::SocketAddrV4::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV4>::port", "Argument[self].Field[crate::net::socket_addr::SocketAddrV4::port]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV4>::set_ip", "Argument[0]", "Argument[self].Field[crate::net::socket_addr::SocketAddrV4::ip]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV4>::set_port", "Argument[0]", "Argument[self].Field[crate::net::socket_addr::SocketAddrV4::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::flowinfo", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::flowinfo]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::ip", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::ip]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::new", "Argument[0]", "ReturnValue.Field[crate::net::socket_addr::SocketAddrV6::ip]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::new", "Argument[1]", "ReturnValue.Field[crate::net::socket_addr::SocketAddrV6::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::new", "Argument[2]", "ReturnValue.Field[crate::net::socket_addr::SocketAddrV6::flowinfo]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::new", "Argument[3]", "ReturnValue.Field[crate::net::socket_addr::SocketAddrV6::scope_id]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::port", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::port]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::scope_id", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::scope_id]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::set_flowinfo", "Argument[0]", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::flowinfo]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::set_ip", "Argument[0]", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::ip]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::set_port", "Argument[0]", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::port]", "value", "dfc-generated"]
      - ["lang:core", "<crate::net::socket_addr::SocketAddrV6>::set_scope_id", "Argument[0]", "Argument[self].Field[crate::net::socket_addr::SocketAddrV6::scope_id]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40 as crate::clone::Clone>::clone", "Argument[self].Field[crate::num::bignum::Big32x40::base]", "ReturnValue.Field[crate::num::bignum::Big32x40::base]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40 as crate::clone::Clone>::clone", "Argument[self].Field[crate::num::bignum::Big32x40::size]", "ReturnValue.Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::add", "Argument[0].Field[crate::num::bignum::Big32x40::size]", "Argument[self].Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::add", "Argument[0].Field[crate::num::bignum::Big32x40::size]", "ReturnValue.Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::add", "Argument[self].Field[crate::num::bignum::Big32x40::size]", "ReturnValue.Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::add", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::add_small", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::digits", "Argument[self].Field[crate::num::bignum::Big32x40::base].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::div_rem", "Argument[0].Field[crate::num::bignum::Big32x40::size]", "Argument[2].Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::div_rem_small", "Argument[self]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::from_small", "Argument[0]", "ReturnValue.Field[crate::num::bignum::Big32x40::base].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::from_u64", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::get_bit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::get_bit", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::mul_digits", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::mul_pow2", "Argument[self].Field[crate::num::bignum::Big32x40::base].Element", "ReturnValue.Field[crate::num::bignum::Big32x40::base].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::mul_pow2", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::mul_pow5", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::mul_small", "Argument[self].Field[crate::num::bignum::Big32x40::size]", "ReturnValue.Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::mul_small", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::sub", "Argument[0].Field[crate::num::bignum::Big32x40::size]", "Argument[self].Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::sub", "Argument[0].Field[crate::num::bignum::Big32x40::size]", "ReturnValue.Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::sub", "Argument[self].Field[crate::num::bignum::Big32x40::size]", "ReturnValue.Field[crate::num::bignum::Big32x40::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::Big32x40>::sub", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3 as crate::clone::Clone>::clone", "Argument[self].Field[crate::num::bignum::tests::Big8x3::base]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::base]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3 as crate::clone::Clone>::clone", "Argument[self].Field[crate::num::bignum::tests::Big8x3::size]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::add", "Argument[0].Field[crate::num::bignum::tests::Big8x3::size]", "Argument[self].Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::add", "Argument[0].Field[crate::num::bignum::tests::Big8x3::size]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::add", "Argument[self].Field[crate::num::bignum::tests::Big8x3::size]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::add", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::add_small", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::digits", "Argument[self].Field[crate::num::bignum::tests::Big8x3::base].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::div_rem", "Argument[0].Field[crate::num::bignum::tests::Big8x3::size]", "Argument[2].Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::div_rem_small", "Argument[self]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::from_small", "Argument[0]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::base].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::from_u64", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::get_bit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::get_bit", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::mul_digits", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::mul_pow2", "Argument[self].Field[crate::num::bignum::tests::Big8x3::base].Element", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::base].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::mul_pow2", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::mul_pow5", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::mul_small", "Argument[self].Field[crate::num::bignum::tests::Big8x3::size]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::mul_small", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::sub", "Argument[0].Field[crate::num::bignum::tests::Big8x3::size]", "Argument[self].Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::sub", "Argument[0].Field[crate::num::bignum::tests::Big8x3::size]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::sub", "Argument[self].Field[crate::num::bignum::tests::Big8x3::size]", "ReturnValue.Field[crate::num::bignum::tests::Big8x3::size]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::bignum::tests::Big8x3>::sub", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::dec2flt::common::BiasedFp>::zero_pow2", "Argument[0]", "ReturnValue.Field[crate::num::dec2flt::common::BiasedFp::e]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::dec2flt::decimal::Decimal>::right_shift", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::dec2flt::decimal::Decimal>::try_add_digit", "Argument[0]", "Argument[self].Field[crate::num::dec2flt::decimal::Decimal::digits].Element", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::diy_float::Fp>::mul", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::diy_float::Fp>::mul", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::diy_float::Fp>::normalize", "Argument[self].Field[crate::num::diy_float::Fp::e]", "ReturnValue.Field[crate::num::diy_float::Fp::e]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::diy_float::Fp>::normalize", "Argument[self].Field[crate::num::diy_float::Fp::f]", "ReturnValue.Field[crate::num::diy_float::Fp::f]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::diy_float::Fp>::normalize_to", "Argument[0]", "ReturnValue.Field[crate::num::diy_float::Fp::e]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::error::ParseIntError>::kind", "Argument[self].Field[crate::num::error::ParseIntError::kind]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::fmt::Part>::len", "Argument[self].Reference.Field[crate::num::fmt::Part::Zero(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::fmt::Part>::write", "Argument[self].Reference.Field[crate::num::fmt::Part::Zero(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::I32NotAllOnes>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::I32NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::I32NotAllOnes>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::I32NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::I64NotAllOnes>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::I64NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::I64NotAllOnes>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::I64NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::Nanoseconds>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::Nanoseconds(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::Nanoseconds>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::Nanoseconds(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI128Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroI128Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI128Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroI128Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI16Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroI16Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI16Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroI16Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI32Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroI32Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI32Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroI32Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI64Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroI64Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI64Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroI64Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI8Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroI8Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroI8Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroI8Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroIsizeInner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroIsizeInner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroIsizeInner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroIsizeInner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU128Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroU128Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU128Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroU128Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU16Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroU16Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU16Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroU16Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU32Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroU32Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU32Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroU32Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU64Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroU64Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU64Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroU64Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU8Inner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroU8Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroU8Inner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroU8Inner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroUsizeInner>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::NonZeroUsizeInner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::NonZeroUsizeInner>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::NonZeroUsizeInner(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::U32NotAllOnes>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::U32NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::U32NotAllOnes>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::U32NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::U64NotAllOnes>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::U64NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::U64NotAllOnes>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::U64NotAllOnes(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::UsizeNoHighBit>::new", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::num::niche_types::UsizeNoHighBit(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::niche_types::UsizeNoHighBit>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::num::niche_types::UsizeNoHighBit(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::nonzero::NonZero as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::nonzero::NonZero as crate::ops::bit::BitOrAssign>::bitor_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::nonzero::NonZero>::from_mut_unchecked", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::nonzero::NonZero>::new_unchecked", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::arith::AddAssign>::add_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::arith::DivAssign>::div_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::arith::MulAssign>::mul_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::arith::RemAssign>::rem_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::arith::SubAssign>::sub_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitAnd>::bitand", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitAnd>::bitand", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitAndAssign>::bitand_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitOr>::bitor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitOrAssign>::bitor_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitXor>::bitxor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitXor>::bitxor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::BitXorAssign>::bitxor_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::saturating::Saturating as crate::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::arith::AddAssign>::add_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::arith::DivAssign>::div_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::arith::MulAssign>::mul_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::arith::Neg>::neg", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::arith::RemAssign>::rem_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::arith::SubAssign>::sub_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitAnd>::bitand", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitAnd>::bitand", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitAndAssign>::bitand_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitOr>::bitor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitOrAssign>::bitor_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitXor>::bitxor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitXor>::bitxor", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::BitXorAssign>::bitxor_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::Not>::not", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::ShlAssign>::shl_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::num::wrapping::Wrapping as crate::ops::bit::ShrAssign>::shr_assign", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow as crate::ops::try_trait::FromResidual>::from_residual", "Argument[0].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Break(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow as crate::ops::try_trait::Try>::branch", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Break(0)].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow as crate::ops::try_trait::Try>::branch", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow as crate::ops::try_trait::Try>::from_output", "Argument[0]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::break_value", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::continue_value", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::into_try", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::into_value", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::into_value", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::map_break", "Argument[0].ReturnValue", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Break(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::map_break", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::map_break", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::map_continue", "Argument[0].ReturnValue", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::map_continue", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Break(0)]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Break(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::control_flow::ControlFlow>::map_continue", "Argument[self].Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::ops::index_range::IndexRange::start]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::end", "Argument[self].Field[crate::ops::index_range::IndexRange::end]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::new_unchecked", "Argument[0]", "ReturnValue.Field[crate::ops::index_range::IndexRange::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::new_unchecked", "Argument[1]", "ReturnValue.Field[crate::ops::index_range::IndexRange::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::start", "Argument[self].Field[crate::ops::index_range::IndexRange::start]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::take_prefix", "Argument[self].Field[crate::ops::index_range::IndexRange::end]", "Argument[self].Field[crate::ops::index_range::IndexRange::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::take_prefix", "Argument[self].Field[crate::ops::index_range::IndexRange::end]", "ReturnValue.Field[crate::ops::index_range::IndexRange::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::take_prefix", "Argument[self].Field[crate::ops::index_range::IndexRange::start]", "ReturnValue.Field[crate::ops::index_range::IndexRange::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::take_suffix", "Argument[self].Field[crate::ops::index_range::IndexRange::end]", "ReturnValue.Field[crate::ops::index_range::IndexRange::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::take_suffix", "Argument[self].Field[crate::ops::index_range::IndexRange::start]", "Argument[self].Field[crate::ops::index_range::IndexRange::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::take_suffix", "Argument[self].Field[crate::ops::index_range::IndexRange::start]", "ReturnValue.Field[crate::ops::index_range::IndexRange::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::index_range::IndexRange>::zero_to", "Argument[0]", "ReturnValue.Field[crate::ops::index_range::IndexRange::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::as_mut", "Argument[self].Reference.Field[crate::ops::range::Bound::Excluded(0)]", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::as_mut", "Argument[self].Reference.Field[crate::ops::range::Bound::Included(0)]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::as_ref", "Argument[self].Reference.Field[crate::ops::range::Bound::Excluded(0)]", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::as_ref", "Argument[self].Reference.Field[crate::ops::range::Bound::Included(0)]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::cloned", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::map", "Argument[0].ReturnValue", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::map", "Argument[0].ReturnValue", "ReturnValue.Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::map", "Argument[self].Field[crate::ops::range::Bound::Excluded(0)]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Bound>::map", "Argument[self].Field[crate::ops::range::Bound::Included(0)]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::convert::From>::from", "Argument[0].Field[crate::range::Range::end]", "ReturnValue.Field[crate::ops::range::Range::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::convert::From>::from", "Argument[0].Field[crate::range::Range::start]", "ReturnValue.Field[crate::ops::range::Range::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::adapters::step_by::SpecRangeSetup>::setup", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_next", "Argument[self].Field[crate::ops::range::Range::start]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_next_back", "Argument[self].Field[crate::ops::range::Range::end].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_next_back", "Argument[self].Field[crate::ops::range::Range::end]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_next_back", "Argument[self].Field[crate::ops::range::Range::end]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_nth", "Argument[self].Field[crate::ops::range::Range::end].Reference", "Argument[self].Field[crate::ops::range::Range::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_nth", "Argument[self].Field[crate::ops::range::Range::end]", "Argument[self].Field[crate::ops::range::Range::start].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_nth", "Argument[self].Field[crate::ops::range::Range::end]", "Argument[self].Field[crate::ops::range::Range::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_nth_back", "Argument[self].Field[crate::ops::range::Range::end]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_nth_back", "Argument[self].Field[crate::ops::range::Range::start]", "Argument[self].Field[crate::ops::range::Range::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::iter::range::RangeIteratorImpl>::spec_nth_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::Range::end]", "ReturnValue.Field[1].Field[crate::ops::range::Bound::Excluded(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::Range::start]", "ReturnValue.Field[0].Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::Range::end]", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::Range::end]", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::ops::range::RangeBounds>::start_bound", "Argument[self].Field[crate::ops::range::Range::start]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::Range as crate::ops::range::RangeBounds>::start_bound", "Argument[self].Field[crate::ops::range::Range::start]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFrom as crate::convert::From>::from", "Argument[0].Field[crate::range::RangeFrom::start]", "ReturnValue.Field[crate::ops::range::RangeFrom::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFrom as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::ops::range::RangeFrom::start]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFrom as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::RangeFrom::start]", "ReturnValue.Field[0].Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFrom as crate::ops::range::OneSidedRange>::bound", "Argument[self].Field[crate::ops::range::RangeFrom::start]", "ReturnValue.Field[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFrom as crate::ops::range::RangeBounds>::start_bound", "Argument[self].Field[crate::ops::range::RangeFrom::start]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFrom as crate::ops::range::RangeBounds>::start_bound", "Argument[self].Field[crate::ops::range::RangeFrom::start]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFull as crate::slice::index::SliceIndex>::get", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFull as crate::slice::index::SliceIndex>::get_mut", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFull as crate::slice::index::SliceIndex>::get_unchecked", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFull as crate::slice::index::SliceIndex>::get_unchecked_mut", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFull as crate::slice::index::SliceIndex>::index", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeFull as crate::slice::index::SliceIndex>::index_mut", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_next", "Argument[self].Field[crate::ops::range::RangeInclusive::start].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_next", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_next", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_next_back", "Argument[self].Field[crate::ops::range::RangeInclusive::end].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_next_back", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_next_back", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_try_fold", "Argument[self].Field[crate::ops::range::RangeInclusive::start].Reference", "Argument[1].Parameter[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_try_fold", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "Argument[1].Parameter[1].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_try_fold", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "Argument[1].Parameter[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_try_rfold", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "Argument[1].Parameter[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::range::RangeInclusiveIteratorImpl>::spec_try_rfold", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "Argument[1].Parameter[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[crate::ops::range::RangeInclusive::start].Reference", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "Argument[self].Field[crate::ops::range::RangeInclusive::end].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::ops::range::RangeInclusive::end].Reference", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "Argument[self].Field[crate::ops::range::RangeInclusive::start].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[1].Field[crate::ops::range::Bound::Excluded(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[1].Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "ReturnValue.Field[0].Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::RangeBounds>::start_bound", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive as crate::ops::range::RangeBounds>::start_bound", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive>::end", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive>::into_inner", "Argument[self].Field[crate::ops::range::RangeInclusive::end]", "ReturnValue.Field[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive>::into_inner", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive>::new", "Argument[0]", "ReturnValue.Field[crate::ops::range::RangeInclusive::start]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive>::new", "Argument[1]", "ReturnValue.Field[crate::ops::range::RangeInclusive::end]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeInclusive>::start", "Argument[self].Field[crate::ops::range::RangeInclusive::start]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeTo as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::RangeTo::end]", "ReturnValue.Field[1].Field[crate::ops::range::Bound::Excluded(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeTo as crate::ops::range::OneSidedRange>::bound", "Argument[self].Field[crate::ops::range::RangeTo::end]", "ReturnValue.Field[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeTo as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::RangeTo::end]", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeTo as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::RangeTo::end]", "ReturnValue.Field[crate::ops::range::Bound::Excluded(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeToInclusive as crate::ops::range::IntoBounds>::into_bounds", "Argument[self].Field[crate::ops::range::RangeToInclusive::end]", "ReturnValue.Field[1].Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeToInclusive as crate::ops::range::OneSidedRange>::bound", "Argument[self].Field[crate::ops::range::RangeToInclusive::end]", "ReturnValue.Field[1]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeToInclusive as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::RangeToInclusive::end]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::range::RangeToInclusive as crate::ops::range::RangeBounds>::end_bound", "Argument[self].Field[crate::ops::range::RangeToInclusive::end]", "ReturnValue.Field[crate::ops::range::Bound::Included(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::try_trait::NeverShortCircuit as crate::ops::try_trait::Try>::branch", "Argument[self].Field[0]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::try_trait::NeverShortCircuit as crate::ops::try_trait::Try>::branch", "Argument[self].Field[crate::ops::try_trait::NeverShortCircuit(0)]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::try_trait::NeverShortCircuit as crate::ops::try_trait::Try>::from_output", "Argument[0]", "ReturnValue.Field[crate::ops::try_trait::NeverShortCircuit(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::try_trait::NeverShortCircuit>::wrap_mut_1", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::ops::try_trait::NeverShortCircuit>::wrap_mut_2", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Item as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[crate::option::Item::opt].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Item as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[crate::option::Item::opt]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Iter as crate::clone::Clone>::clone", "Argument[self].Field[crate::option::Iter::inner].Reference", "ReturnValue.Field[crate::option::Iter::inner]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Iter as crate::clone::Clone>::clone", "Argument[self].Field[crate::option::Iter::inner]", "ReturnValue.Field[crate::option::Iter::inner]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option as crate::clone::Clone>::clone", "Argument[self].Field[crate::option::Option::Some(0)].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option as crate::clone::Clone>::clone", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option as crate::convert::From>::from", "Argument[0].Reference.Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option as crate::ops::try_trait::Try>::branch", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::ops::control_flow::ControlFlow::Continue(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option as crate::ops::try_trait::Try>::from_output", "Argument[0]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::and", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::and_then", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::and_then", "Argument[self].Field[crate::option::Option::Some(0)].Field[0]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::and_then", "Argument[self].Field[crate::option::Option::Some(0)].Field[crate::path::Component::Normal(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::and_then", "Argument[self].Field[crate::option::Option::Some(0)]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::as_mut", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::as_ref", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::cloned", "Argument[self].Field[crate::option::Option::Some(0)].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::cloned", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::copied", "Argument[self].Field[crate::option::Option::Some(0)].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::expect", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::flatten", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::get_or_insert", "Argument[0]", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::get_or_insert", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::get_or_insert", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::get_or_insert_default", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::get_or_insert_with", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::insert", "Argument[0]", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::insert", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::insert", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::inspect", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::is_none_or", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::is_none_or", "Argument[self].Field[crate::option::Option::Some(0)]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::is_some_and", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::is_some_and", "Argument[self].Field[crate::option::Option::Some(0)]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::map", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::option::Option>::map", "Argument[self]", "Argument[0]", "taint", "df-generated"]
      - ["lang:core", "<crate::option::Option>::map", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:core", "<crate::option::Option>::map_or", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::map_or", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::map_or", "Argument[self].Field[crate::option::Option::Some(0)]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::map_or_else", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::map_or_else", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::map_or_else", "Argument[self].Field[crate::option::Option::Some(0)]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::ok_or", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::ok_or", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::result::Result::Ok(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::ok_or_else", "Argument[0].ReturnValue", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::ok_or_else", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue.Field[crate::result::Result::Ok(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::or", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::or", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::or_else", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::or_else", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::replace", "Argument[0]", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::replace", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::take", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::take_if", "Argument[self].Reference.Field[crate::option::Option::Some(0)]", "Argument[0].Parameter[0].Reference", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::take_if", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::transpose", "Argument[self].Field[crate::option::Option::Some(0)].Field[crate::result::Result::Err(0)]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::transpose", "Argument[self].Field[crate::option::Option::Some(0)].Field[crate::result::Result::Ok(0)]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::unwrap", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::unwrap_or", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::unwrap_or", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:core", "<crate::option::Option>::unwrap_or_default", "Argument[self].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]