lang-alloc.model.yml

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/rust-all
      extensible: summaryModel
    data:
      - ["lang:alloc", "<&&str as crate::string::SpecToString>::spec_to_string", "Argument[self].Reference.Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<&crate::string::String as crate::str::pattern::Pattern>::as_utf8_pattern", "Argument[self]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::str::pattern::Utf8Pattern::StringPattern(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<&str as crate::string::SpecToString>::spec_to_string", "Argument[self].Reference.Field[crate::string::String::vec]", "ReturnValue.Field[crate::string::String::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<&str as crate::string::SpecToString>::spec_to_string", "Argument[self].Reference.Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<&str as crate::string::SpecToString>::spec_to_string", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<_ as crate::borrow::ToOwned>::clone_into", "Argument[self].Reference", "Argument[0].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<_ as crate::borrow::ToOwned>::clone_into", "Argument[self]", "Argument[0].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<_ as crate::borrow::ToOwned>::to_owned", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<_ as crate::borrow::ToOwned>::to_owned", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<_ as crate::vec::spec_from_elem::SpecFromElem>::from_elem", "Argument[1]", "ReturnValue.Field[crate::vec::Vec::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::clone::Clone>::clone", "Argument[self].Reference.Field[crate::borrow::Cow::Borrowed(0)]", "ReturnValue.Field[crate::borrow::Cow::Borrowed(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::convert::From>::from", "Argument[0].Reference", "ReturnValue.Field[crate::borrow::Cow::Borrowed(0)].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::borrow::Cow::Borrowed(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::borrow::Cow::Owned(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::ops::arith::AddAssign>::add_assign", "Argument[0]", "Argument[self].Reference.Field[crate::borrow::Cow::Borrowed(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::ops::arith::AddAssign>::add_assign", "Argument[0]", "Argument[self].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow as crate::ops::deref::Deref>::deref", "Argument[self].Reference.Field[crate::borrow::Cow::Borrowed(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow>::into_owned", "Argument[self].Field[crate::borrow::Cow::Owned(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::borrow::Cow>::to_mut", "Argument[self].Reference.Field[crate::borrow::Cow::Owned(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::clone::Clone>::clone_from", "Argument[0].Reference", "Argument[self].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::clone::Clone>::clone_from", "Argument[0]", "Argument[self].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::convert::AsMut>::as_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::convert::TryFrom>::try_from", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::iter::traits::iterator::Iterator>::nth", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::ops::deref::Deref>::deref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::allocator", "Argument[0].Field[1]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::allocator", "Argument[0].Field[crate::boxed::Box(1)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::as_mut_ptr", "Argument[0].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::as_ptr", "Argument[0].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::downcast", "Argument[self]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::from_non_null_in", "Argument[1]", "ReturnValue.Field[crate::boxed::Box(1)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::from_raw_in", "Argument[1]", "ReturnValue.Field[crate::boxed::Box(1)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::into_inner", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::into_pin", "Argument[0]", "ReturnValue.Field[crate::pin::Pin::__pointer]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::new_uninit_in", "Argument[0]", "ReturnValue.Field[crate::boxed::Box(1)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::new_zeroed_in", "Argument[0]", "ReturnValue.Field[crate::boxed::Box(1)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::try_new_uninit_in", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::boxed::Box(1)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::boxed::Box>::try_new_zeroed_in", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::boxed::Box(1)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::borrow::Borrow>::borrow", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::borrow::Borrow>::borrow", "Argument[self].Field[crate::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Field[crate::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::convert::AsMut>::as_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::convert::AsMut>::as_mut", "Argument[self].Field[crate::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::convert::AsRef>::as_ref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::convert::AsRef>::as_ref", "Argument[self].Field[crate::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[crate::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::index::Index>::index", "Argument[self].Field[0].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::index::Index>::index", "Argument[self].Field[crate::bstr::ByteString(0)].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::index::IndexMut>::index_mut", "Argument[self].Field[0].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString as crate::ops::index::IndexMut>::index_mut", "Argument[self].Field[crate::bstr::ByteString(0)].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString>::as_bytes", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::bstr::ByteString>::as_bytes", "Argument[self].Field[crate::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::TryReserveError as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::collections::TryReserveError::kind]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::TryReserveError>::kind", "Argument[self].Field[crate::collections::TryReserveError::kind].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::TryReserveError>::kind", "Argument[self].Field[crate::collections::TryReserveError::kind]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::TryReserveError>::kind", "Argument[self].Field[crate::collections::TryReserveError::kind]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::BinaryHeap as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::binary_heap::BinaryHeap::data].Reference", "ReturnValue.Field[crate::collections::binary_heap::BinaryHeap::data]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::BinaryHeap as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::binary_heap::BinaryHeap::data]", "ReturnValue.Field[crate::collections::binary_heap::BinaryHeap::data]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::BinaryHeap as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::collections::binary_heap::BinaryHeap::data]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::BinaryHeap>::drain_sorted", "Argument[self]", "ReturnValue.Field[crate::collections::binary_heap::DrainSorted::inner]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::BinaryHeap>::into_iter_sorted", "Argument[self]", "ReturnValue.Field[crate::collections::binary_heap::IntoIterSorted::inner]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::BinaryHeap>::peek_mut", "Argument[self]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::collections::binary_heap::PeekMut::heap]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::IntoIter as crate::iter::adapters::SourceIter>::as_inner", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::IntoIter as crate::vec::in_place_collect::AsVecIntoIter>::as_into_iter", "Argument[self].Field[crate::collections::binary_heap::IntoIter::iter]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::Iter as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::binary_heap::Iter as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::collections::binary_heap::Iter::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::dedup_sorted_iter::DedupSortedIter>::new", "Argument[0]", "ReturnValue.Field[crate::collections::btree::dedup_sorted_iter::DedupSortedIter::iter].Field[crate::iter::adapters::peekable::Peekable::iter]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::map::BTreeMap::alloc].Reference", "ReturnValue.Field[crate::collections::btree::map::BTreeMap::alloc].Field[crate::mem::manually_drop::ManuallyDrop::value]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::bulk_build_from_sorted_iter", "Argument[1]", "ReturnValue.Field[crate::collections::btree::map::BTreeMap::alloc].Field[crate::mem::manually_drop::ManuallyDrop::value]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::entry", "Argument[0]", "ReturnValue.Field[crate::collections::btree::map::entry::Entry::Vacant(0)].Field[crate::collections::btree::map::entry::VacantEntry::key]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::extract_if", "Argument[0]", "ReturnValue.Field[crate::collections::btree::map::ExtractIf::pred]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::extract_if_inner", "Argument[self].Field[crate::collections::btree::map::BTreeMap::alloc].Reference", "ReturnValue.Field[1]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::get_or_insert_with", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::iter", "Argument[self].Field[crate::collections::btree::map::BTreeMap::length]", "ReturnValue.Field[crate::collections::btree::map::Iter::length]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::iter_mut", "Argument[self].Field[crate::collections::btree::map::BTreeMap::length]", "ReturnValue.Field[crate::collections::btree::map::IterMut::length]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::len", "Argument[self].Field[crate::collections::btree::map::BTreeMap::length]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::lower_bound", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::lower_bound_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::new_in", "Argument[0]", "ReturnValue.Field[crate::collections::btree::map::BTreeMap::alloc].Field[crate::mem::manually_drop::ManuallyDrop::value]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::split_off", "Argument[self].Field[crate::collections::btree::map::BTreeMap::alloc].Reference", "ReturnValue.Field[crate::collections::btree::map::BTreeMap::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::split_off", "Argument[self].Field[crate::collections::btree::map::BTreeMap::alloc]", "ReturnValue.Field[crate::collections::btree::map::BTreeMap::alloc].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::split_off", "Argument[self].Field[crate::collections::btree::map::BTreeMap::alloc]", "ReturnValue.Field[crate::collections::btree::map::BTreeMap::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::try_insert", "Argument[1]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::collections::btree::map::entry::OccupiedError::value]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::upper_bound", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::BTreeMap>::upper_bound_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor as crate::clone::Clone>::clone", "Argument[self].Reference.Field[crate::collections::btree::map::Cursor::current]", "ReturnValue.Field[crate::collections::btree::map::Cursor::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor as crate::clone::Clone>::clone", "Argument[self].Reference.Field[crate::collections::btree::map::Cursor::root]", "ReturnValue.Field[crate::collections::btree::map::Cursor::root]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::next", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::next", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::peek_next", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::peek_next", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::peek_prev", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::peek_prev", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::prev", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Cursor>::prev", "Argument[self].Field[crate::collections::btree::map::Cursor::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::CursorMut>::with_mutable_key", "Argument[self].Field[crate::collections::btree::map::CursorMut::inner]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::CursorMutKey>::next", "Argument[self].Field[crate::collections::btree::map::CursorMutKey::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::CursorMutKey>::next", "Argument[self].Field[crate::collections::btree::map::CursorMutKey::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::CursorMutKey>::prev", "Argument[self].Field[crate::collections::btree::map::CursorMutKey::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::CursorMutKey>::prev", "Argument[self].Field[crate::collections::btree::map::CursorMutKey::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::CursorMutKey>::remove_next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::CursorMutKey>::remove_prev", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::ExtractIfInner>::next", "Argument[self].Field[crate::collections::btree::map::ExtractIfInner::cur_leaf_edge].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::ExtractIfInner>::next", "Argument[self].Field[crate::collections::btree::map::ExtractIfInner::cur_leaf_edge].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::ExtractIfInner>::size_hint", "Argument[self].Field[crate::collections::btree::map::ExtractIfInner::length].Reference", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IntoIter as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::collections::btree::map::IntoIter::length]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IntoIter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::IntoIter::length]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IntoIter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::IntoIter::length]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IntoIter>::iter", "Argument[self].Field[crate::collections::btree::map::IntoIter::length]", "ReturnValue.Field[crate::collections::btree::map::Iter::length]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Iter as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::map::Iter::length]", "ReturnValue.Field[crate::collections::btree::map::Iter::length]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Iter as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::map::Iter::range].Reference", "ReturnValue.Field[crate::collections::btree::map::Iter::range]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Iter as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::map::Iter::range]", "ReturnValue.Field[crate::collections::btree::map::Iter::range]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Iter as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::collections::btree::map::Iter::length]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Iter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::Iter::length]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Iter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::Iter::length]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IterMut as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::collections::btree::map::IterMut::length]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IterMut as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::IterMut::length]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IterMut as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::IterMut::length]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::IterMut>::iter", "Argument[self].Field[crate::collections::btree::map::IterMut::length]", "ReturnValue.Field[crate::collections::btree::map::Iter::length]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Keys as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Keys as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::collections::btree::map::Keys::inner].Field[crate::collections::btree::map::Iter::length]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Keys as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::Keys::inner].Field[crate::collections::btree::map::Iter::length]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Keys as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::Keys::inner].Field[crate::collections::btree::map::Iter::length]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Range as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::map::Range::inner].Reference", "ReturnValue.Field[crate::collections::btree::map::Range::inner]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Range as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::map::Range::inner]", "ReturnValue.Field[crate::collections::btree::map::Range::inner]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Values as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Values as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::collections::btree::map::Values::inner].Field[crate::collections::btree::map::Iter::length]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Values as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::Values::inner].Field[crate::collections::btree::map::Iter::length]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::Values as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::Values::inner].Field[crate::collections::btree::map::Iter::length]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::ValuesMut as crate::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[crate::collections::btree::map::ValuesMut::inner].Field[crate::collections::btree::map::IterMut::length]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::ValuesMut as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::ValuesMut::inner].Field[crate::collections::btree::map::IterMut::length]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::ValuesMut as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::btree::map::ValuesMut::inner].Field[crate::collections::btree::map::IterMut::length]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::entry::Entry>::and_modify", "Argument[self].Field[crate::collections::btree::map::entry::Entry::Occupied(0)]", "ReturnValue.Field[crate::collections::btree::map::entry::Entry::Occupied(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::entry::Entry>::and_modify", "Argument[self].Field[crate::collections::btree::map::entry::Entry::Vacant(0)]", "ReturnValue.Field[crate::collections::btree::map::entry::Entry::Vacant(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::entry::Entry>::insert_entry", "Argument[self].Field[crate::collections::btree::map::entry::Entry::Occupied(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::entry::VacantEntry>::insert_entry", "Argument[self].Field[crate::collections::btree::map::entry::VacantEntry::alloc]", "ReturnValue.Field[crate::collections::btree::map::entry::OccupiedEntry::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::entry::VacantEntry>::insert_entry", "Argument[self].Field[crate::collections::btree::map::entry::VacantEntry::dormant_map]", "ReturnValue.Field[crate::collections::btree::map::entry::OccupiedEntry::dormant_map]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::entry::VacantEntry>::into_key", "Argument[self].Field[crate::collections::btree::map::entry::VacantEntry::key]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::map::entry::VacantEntry>::key", "Argument[self].Field[crate::collections::btree::map::entry::VacantEntry::key]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::merge_iter::MergeIterInner as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::merge_iter::MergeIterInner>::new", "Argument[0]", "ReturnValue.Field[crate::collections::btree::merge_iter::MergeIterInner::a]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::merge_iter::MergeIterInner>::new", "Argument[1]", "ReturnValue.Field[crate::collections::btree::merge_iter::MergeIterInner::b]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::merge_iter::MergeIterInner>::nexts", "Argument[self].Field[crate::collections::btree::merge_iter::MergeIterInner::a].Element", "ReturnValue.Field[0].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::merge_iter::MergeIterInner>::nexts", "Argument[self].Field[crate::collections::btree::merge_iter::MergeIterInner::b].Element", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::navigate::LazyLeafHandle as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::navigate::LazyLeafHandle::Edge(0)].Reference", "ReturnValue.Field[crate::collections::btree::navigate::LazyLeafHandle::Edge(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::navigate::LazyLeafHandle as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::navigate::LazyLeafHandle::Root(0)].Reference", "ReturnValue.Field[crate::collections::btree::navigate::LazyLeafHandle::Root(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::navigate::LazyLeafRange as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::navigate::LeafRange as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::into_left_child", "Argument[self].Field[crate::collections::btree::node::BalancingContext::left_child]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::into_right_child", "Argument[self].Field[crate::collections::btree::node::BalancingContext::right_child]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::merge_tracking_child", "Argument[self].Field[crate::collections::btree::node::BalancingContext::left_child]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::merge_tracking_child_edge", "Argument[0].Field[crate::collections::btree::node::LeftOrRight::Left(0)]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::merge_tracking_child_edge", "Argument[self].Field[crate::collections::btree::node::BalancingContext::left_child]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::merge_tracking_parent", "Argument[self].Field[crate::collections::btree::node::BalancingContext::parent].Field[crate::collections::btree::node::Handle::node]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::steal_left", "Argument[self].Field[crate::collections::btree::node::BalancingContext::right_child]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::steal_right", "Argument[0]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::BalancingContext>::steal_right", "Argument[self].Field[crate::collections::btree::node::BalancingContext::left_child]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::awaken", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::cast_to_leaf_unchecked", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::consider_for_balancing", "Argument[self]", "ReturnValue.Field[crate::collections::btree::node::BalancingContext::parent]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::descend", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::dormant", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::force", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::ForceResult::Internal(0)].Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::force", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::ForceResult::Leaf(0)].Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::forget_node_type", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::idx", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::into_node", "Argument[self].Field[crate::collections::btree::node::Handle::node]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::left_edge", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::left_edge", "Argument[self].Field[crate::collections::btree::node::Handle::node]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::left_kv", "Argument[self].Field[crate::collections::btree::node::Handle::node]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::left_kv", "Argument[self]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::new_edge", "Argument[0]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::new_edge", "Argument[1]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::new_kv", "Argument[0]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::new_kv", "Argument[1]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::reborrow", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::reborrow", "Argument[self].Field[crate::collections::btree::node::Handle::node].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::Handle::node].Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::reborrow", "Argument[self].Field[crate::collections::btree::node::Handle::node].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::Handle::node].Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::reborrow_mut", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::right_edge", "Argument[self].Field[crate::collections::btree::node::Handle::node]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::right_kv", "Argument[self].Field[crate::collections::btree::node::Handle::idx]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::collections::btree::node::Handle::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::right_kv", "Argument[self].Field[crate::collections::btree::node::Handle::node]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::right_kv", "Argument[self]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::split", "Argument[self].Field[crate::collections::btree::node::Handle::node].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::SplitResult::right].Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::Handle>::split", "Argument[self].Field[crate::collections::btree::node::Handle::node]", "ReturnValue.Field[crate::collections::btree::node::SplitResult::left]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::awaken", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::awaken", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::borrow_mut", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::borrow_mut", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::borrow_valmut", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::borrow_valmut", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::calc_split_length", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::cast_to_leaf_unchecked", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::cast_to_leaf_unchecked", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::dormant", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::dormant", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::find_lower_bound_edge", "Argument[0]", "ReturnValue.Field[1]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::find_lower_bound_edge", "Argument[self]", "ReturnValue.Field[0].Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::find_upper_bound_edge", "Argument[0]", "ReturnValue.Field[1]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::find_upper_bound_edge", "Argument[self]", "ReturnValue.Field[0].Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::first_edge", "Argument[self]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::first_kv", "Argument[self]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::force", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::forget_type", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::forget_type", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::height", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::into_dying", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::into_dying", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::last_edge", "Argument[self]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::last_kv", "Argument[self]", "ReturnValue.Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::push_internal_level", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::push_internal_level", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::push_with_handle", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::Handle::node].Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::push_with_handle", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::Handle::node].Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::reborrow", "Argument[self].Field[crate::collections::btree::node::NodeRef::height]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::height]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::reborrow", "Argument[self].Field[crate::collections::btree::node::NodeRef::node]", "ReturnValue.Field[crate::collections::btree::node::NodeRef::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::search_node", "Argument[self]", "ReturnValue.Field[crate::collections::btree::search::SearchResult::Found(0)].Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::search_node", "Argument[self]", "ReturnValue.Field[crate::collections::btree::search::SearchResult::GoDown(0)].Field[crate::collections::btree::node::Handle::node]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::search_tree_for_bifurcation", "Argument[self]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::NodeRef>::visit_nodes_in_order", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::node::SplitResult>::forget_node_type", "Argument[self].Field[crate::collections::btree::node::SplitResult::kv]", "ReturnValue.Field[crate::collections::btree::node::SplitResult::kv]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::search::SearchBound>::from_range", "Argument[0].Field[crate::ops::range::Bound::Excluded(0)]", "ReturnValue.Field[crate::collections::btree::search::SearchBound::Excluded(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::search::SearchBound>::from_range", "Argument[0].Field[crate::ops::range::Bound::Included(0)]", "ReturnValue.Field[crate::collections::btree::search::SearchBound::Included(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::set::BTreeSet::map].Reference", "ReturnValue.Field[crate::collections::btree::set::BTreeSet::map]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet as crate::clone::Clone>::clone", "Argument[self].Field[crate::collections::btree::set::BTreeSet::map]", "ReturnValue.Field[crate::collections::btree::set::BTreeSet::map]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet as crate::clone::Clone>::clone_from", "Argument[0].Field[crate::collections::btree::set::BTreeSet::map]", "Argument[self].Field[crate::collections::btree::set::BTreeSet::map].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet as crate::clone::Clone>::clone_from", "Argument[0].Field[crate::collections::btree::set::BTreeSet::map]", "Argument[self].Field[crate::collections::btree::set::BTreeSet::map]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet>::difference", "Argument[0]", "ReturnValue.Field[crate::collections::btree::set::Difference::inner].Field[crate::collections::btree::set::DifferenceInner::Search::other_set]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet>::extract_if", "Argument[0]", "ReturnValue.Field[crate::collections::btree::set::ExtractIf::pred]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet>::intersection", "Argument[0]", "ReturnValue.Field[crate::collections::btree::set::Intersection::inner].Field[crate::collections::btree::set::IntersectionInner::Search::large_set]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::BTreeSet>::intersection", "Argument[self]", "ReturnValue.Field[crate::collections::btree::set::Intersection::inner].Field[crate::collections::btree::set::IntersectionInner::Search::large_set]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::CursorMut>::with_mutable_key", "Argument[self].Field[crate::collections::btree::set::CursorMut::inner].Field[crate::collections::btree::map::CursorMut::inner]", "ReturnValue.Field[crate::collections::btree::set::CursorMutKey::inner]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::Difference as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::Intersection as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::Iter as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::Range as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::SymmetricDifference as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::Union as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::btree::set::entry::Entry>::insert", "Argument[self].Field[crate::collections::btree::set::entry::Entry::Occupied(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor as crate::clone::Clone>::clone", "Argument[self].Reference.Field[crate::collections::linked_list::Cursor::current]", "ReturnValue.Field[crate::collections::linked_list::Cursor::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor as crate::clone::Clone>::clone", "Argument[self].Reference.Field[crate::collections::linked_list::Cursor::index]", "ReturnValue.Field[crate::collections::linked_list::Cursor::index]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor as crate::clone::Clone>::clone", "Argument[self].Reference.Field[crate::collections::linked_list::Cursor::list]", "ReturnValue.Field[crate::collections::linked_list::Cursor::list]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor>::as_list", "Argument[self].Field[crate::collections::linked_list::Cursor::list]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor>::index", "Argument[self].Field[crate::collections::linked_list::Cursor::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor>::index", "Argument[self].Field[crate::collections::linked_list::Cursor::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor>::index", "Argument[self].Field[crate::collections::linked_list::Cursor::index]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor>::move_next", "Argument[self].Field[crate::collections::linked_list::Cursor::list].Field[crate::collections::linked_list::LinkedList::head]", "Argument[self].Field[crate::collections::linked_list::Cursor::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Cursor>::move_prev", "Argument[self].Field[crate::collections::linked_list::Cursor::list].Field[crate::collections::linked_list::LinkedList::tail]", "Argument[self].Field[crate::collections::linked_list::Cursor::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::as_cursor", "Argument[self].Field[crate::collections::linked_list::CursorMut::current]", "ReturnValue.Field[crate::collections::linked_list::Cursor::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::as_cursor", "Argument[self].Field[crate::collections::linked_list::CursorMut::index]", "ReturnValue.Field[crate::collections::linked_list::Cursor::index]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::as_cursor", "Argument[self].Field[crate::collections::linked_list::CursorMut::list]", "ReturnValue.Field[crate::collections::linked_list::Cursor::list]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::as_list", "Argument[self].Field[crate::collections::linked_list::CursorMut::list]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::index", "Argument[self].Field[crate::collections::linked_list::CursorMut::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::index", "Argument[self].Field[crate::collections::linked_list::CursorMut::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::index", "Argument[self].Field[crate::collections::linked_list::CursorMut::index]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::insert_after", "Argument[self].Field[crate::collections::linked_list::CursorMut::list].Field[crate::collections::linked_list::LinkedList::len]", "Argument[self].Field[crate::collections::linked_list::CursorMut::index]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::move_next", "Argument[self].Field[crate::collections::linked_list::CursorMut::list].Field[crate::collections::linked_list::LinkedList::head]", "Argument[self].Field[crate::collections::linked_list::CursorMut::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::move_prev", "Argument[self].Field[crate::collections::linked_list::CursorMut::list].Field[crate::collections::linked_list::LinkedList::tail]", "Argument[self].Field[crate::collections::linked_list::CursorMut::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::remove_current", "Argument[self].Field[crate::collections::linked_list::CursorMut::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::remove_current", "Argument[self].Field[crate::collections::linked_list::CursorMut::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::remove_current_as_list", "Argument[self].Field[crate::collections::linked_list::CursorMut::current].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::remove_current_as_list", "Argument[self].Field[crate::collections::linked_list::CursorMut::current].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::remove_current_as_list", "Argument[self].Field[crate::collections::linked_list::CursorMut::list].Field[crate::collections::linked_list::LinkedList::alloc]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::collections::linked_list::LinkedList::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::CursorMut>::splice_after", "Argument[self].Field[crate::collections::linked_list::CursorMut::list].Field[crate::collections::linked_list::LinkedList::len]", "Argument[self].Field[crate::collections::linked_list::CursorMut::index]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::ExtractIf as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::IntoIter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::linked_list::IntoIter::list].Field[crate::collections::linked_list::LinkedList::len]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::IntoIter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::linked_list::IntoIter::list].Field[crate::collections::linked_list::LinkedList::len]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Iter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::linked_list::Iter::len]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::Iter as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::linked_list::Iter::len]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::IterMut as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::linked_list::IterMut::len]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::IterMut as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::linked_list::IterMut::len]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList as crate::collections::SpecExtend>::spec_extend", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::append", "Argument[0].Field[crate::collections::linked_list::LinkedList::tail].Reference", "Argument[self].Field[crate::collections::linked_list::LinkedList::tail]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::append", "Argument[0].Field[crate::collections::linked_list::LinkedList::tail]", "Argument[self].Field[crate::collections::linked_list::LinkedList::tail]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_back", "Argument[self].Field[crate::collections::linked_list::LinkedList::tail]", "ReturnValue.Field[crate::collections::linked_list::Cursor::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_back", "Argument[self]", "ReturnValue.Field[crate::collections::linked_list::Cursor::list]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_back_mut", "Argument[self].Field[crate::collections::linked_list::LinkedList::tail]", "ReturnValue.Field[crate::collections::linked_list::CursorMut::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_back_mut", "Argument[self]", "ReturnValue.Field[crate::collections::linked_list::CursorMut::list]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_front", "Argument[self].Field[crate::collections::linked_list::LinkedList::head]", "ReturnValue.Field[crate::collections::linked_list::Cursor::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_front", "Argument[self]", "ReturnValue.Field[crate::collections::linked_list::Cursor::list]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_front_mut", "Argument[self].Field[crate::collections::linked_list::LinkedList::head]", "ReturnValue.Field[crate::collections::linked_list::CursorMut::current]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::cursor_front_mut", "Argument[self]", "ReturnValue.Field[crate::collections::linked_list::CursorMut::list]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::extract_if", "Argument[0]", "ReturnValue.Field[crate::collections::linked_list::ExtractIf::pred]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::extract_if", "Argument[self].Field[crate::collections::linked_list::LinkedList::head]", "ReturnValue.Field[crate::collections::linked_list::ExtractIf::it]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::extract_if", "Argument[self].Field[crate::collections::linked_list::LinkedList::len]", "ReturnValue.Field[crate::collections::linked_list::ExtractIf::old_len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::extract_if", "Argument[self]", "ReturnValue.Field[crate::collections::linked_list::ExtractIf::list]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::iter", "Argument[self].Field[crate::collections::linked_list::LinkedList::head]", "ReturnValue.Field[crate::collections::linked_list::Iter::head]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::iter", "Argument[self].Field[crate::collections::linked_list::LinkedList::len]", "ReturnValue.Field[crate::collections::linked_list::Iter::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::iter", "Argument[self].Field[crate::collections::linked_list::LinkedList::tail]", "ReturnValue.Field[crate::collections::linked_list::Iter::tail]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::iter_mut", "Argument[self].Field[crate::collections::linked_list::LinkedList::head]", "ReturnValue.Field[crate::collections::linked_list::IterMut::head]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::iter_mut", "Argument[self].Field[crate::collections::linked_list::LinkedList::len]", "ReturnValue.Field[crate::collections::linked_list::IterMut::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::iter_mut", "Argument[self].Field[crate::collections::linked_list::LinkedList::tail]", "ReturnValue.Field[crate::collections::linked_list::IterMut::tail]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::len", "Argument[self].Field[crate::collections::linked_list::LinkedList::len]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::new_in", "Argument[0]", "ReturnValue.Field[crate::collections::linked_list::LinkedList::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::linked_list::LinkedList>::split_off", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::VecDeque>::drain", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::VecDeque>::from_contiguous_raw_parts_in", "Argument[1].Field[crate::ops::range::Range::start]", "ReturnValue.Field[crate::collections::vec_deque::VecDeque::head]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::VecDeque>::len", "Argument[self].Field[crate::collections::vec_deque::VecDeque::len]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::VecDeque>::retain_mut", "Argument[self].Element", "Argument[0].Parameter[0].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::VecDeque>::split_off", "Argument[0]", "Argument[self].Field[crate::collections::vec_deque::VecDeque::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::VecDeque>::truncate", "Argument[0]", "Argument[self].Field[crate::collections::vec_deque::VecDeque::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::drain::Drain as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::vec_deque::drain::Drain::remaining]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::drain::Drain as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::collections::vec_deque::drain::Drain::remaining]", "ReturnValue.Field[1].Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::drain::Drain>::new", "Argument[1]", "Argument[0].Field[crate::collections::vec_deque::VecDeque::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::drain::Drain>::new", "Argument[1]", "ReturnValue.Field[crate::collections::vec_deque::drain::Drain::idx]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::drain::Drain>::new", "Argument[2]", "ReturnValue.Field[crate::collections::vec_deque::drain::Drain::drain_len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::drain::Drain>::new", "Argument[2]", "ReturnValue.Field[crate::collections::vec_deque::drain::Drain::remaining]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::into_iter::IntoIter as crate::iter::traits::iterator::Iterator>::count", "Argument[self].Field[crate::collections::vec_deque::into_iter::IntoIter::inner].Field[crate::collections::vec_deque::VecDeque::len]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::into_iter::IntoIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[0].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::into_iter::IntoIter>::into_vecdeque", "Argument[self].Field[crate::collections::vec_deque::into_iter::IntoIter::inner]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::into_iter::IntoIter>::new", "Argument[0]", "ReturnValue.Field[crate::collections::vec_deque::into_iter::IntoIter::inner]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::collections::vec_deque::iter::Iter::i1].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter>::new", "Argument[0]", "ReturnValue.Field[crate::collections::vec_deque::iter::Iter::i1]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter::Iter>::new", "Argument[1]", "ReturnValue.Field[crate::collections::vec_deque::iter::Iter::i2]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut as crate::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut as crate::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0].Field[crate::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[0].Field[crate::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut>::new", "Argument[0]", "ReturnValue.Field[crate::collections::vec_deque::iter_mut::IterMut::i1]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::collections::vec_deque::iter_mut::IterMut>::new", "Argument[1]", "ReturnValue.Field[crate::collections::vec_deque::iter_mut::IterMut::i2]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::CString as crate::borrow::Borrow>::borrow", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::CString as crate::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::CString as crate::ops::index::Index>::index", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::CString>::as_bytes_with_nul", "Argument[self].Field[crate::ffi::c_str::CString::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::CString>::as_c_str", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::CString>::from_vec_with_nul", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::ffi::c_str::FromVecWithNulError::bytes]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::FromVecWithNulError>::as_bytes", "Argument[self].Field[crate::ffi::c_str::FromVecWithNulError::bytes].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::FromVecWithNulError>::into_bytes", "Argument[self].Field[crate::ffi::c_str::FromVecWithNulError::bytes]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::IntoStringError as crate::error::Error>::source", "Argument[self].Field[crate::ffi::c_str::IntoStringError::error]", "ReturnValue.Field[crate::option::Option::Some(0)].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::IntoStringError>::into_cstring", "Argument[self].Field[crate::ffi::c_str::IntoStringError::inner]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::IntoStringError>::utf8_error", "Argument[self].Field[crate::ffi::c_str::IntoStringError::error]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::NulError>::into_vec", "Argument[self].Field[1]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::NulError>::into_vec", "Argument[self].Field[crate::ffi::c_str::NulError(1)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::NulError>::nul_position", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::ffi::c_str::NulError>::nul_position", "Argument[self].Field[crate::ffi::c_str::NulError(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::fmt::Arguments as crate::string::SpecToString>::spec_to_string", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::pin::Pin as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::pin::Pin::__pointer]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::raw_vec::RawVec>::from_nonnull_in", "Argument[2]", "ReturnValue.Field[crate::raw_vec::RawVec::inner].Field[crate::raw_vec::RawVecInner::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::raw_vec::RawVec>::from_raw_parts_in", "Argument[2]", "ReturnValue.Field[crate::raw_vec::RawVec::inner].Field[crate::raw_vec::RawVecInner::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::raw_vec::RawVec>::new_in", "Argument[0]", "ReturnValue.Field[crate::raw_vec::RawVec::inner].Field[crate::raw_vec::RawVecInner::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::raw_vec::RawVec>::with_capacity_in", "Argument[1]", "ReturnValue.Field[crate::raw_vec::RawVec::inner].Field[crate::raw_vec::RawVecInner::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::raw_vec::RawVec>::with_capacity_zeroed_in", "Argument[1]", "ReturnValue.Field[crate::raw_vec::RawVec::inner].Field[crate::raw_vec::RawVecInner::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc as crate::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc as crate::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc as crate::convert::TryFrom>::try_from", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::allocator", "Argument[0].Field[crate::rc::Rc::alloc]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::downcast", "Argument[self]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::downgrade", "Argument[0].Field[crate::rc::Rc::alloc].Reference", "ReturnValue.Field[crate::rc::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::downgrade", "Argument[0].Field[crate::rc::Rc::alloc]", "ReturnValue.Field[crate::rc::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::downgrade", "Argument[0].Field[crate::rc::Rc::ptr]", "ReturnValue.Field[crate::rc::Weak::ptr]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::new_uninit_in", "Argument[0]", "ReturnValue.Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::new_uninit_slice_in", "Argument[1]", "ReturnValue.Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::new_zeroed_in", "Argument[0]", "ReturnValue.Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::new_zeroed_slice_in", "Argument[1]", "ReturnValue.Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::try_new_uninit_in", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::try_new_zeroed_in", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::try_unwrap", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::unwrap_or_clone", "Argument[0].Reference.Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Rc>::unwrap_or_clone", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::RcInner as crate::rc::RcInnerPtr>::strong_ref", "Argument[self].Field[crate::rc::RcInner::strong]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::RcInner as crate::rc::RcInnerPtr>::weak_ref", "Argument[self].Field[crate::rc::RcInner::weak]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::UniqueRc as crate::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::UniqueRc as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::UniqueRc as crate::convert::AsMut>::as_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::UniqueRc as crate::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::UniqueRc>::downgrade", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::rc::Weak as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::rc::Weak>::allocator", "Argument[self].Field[crate::rc::Weak::alloc]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Weak>::from_raw_in", "Argument[1]", "ReturnValue.Field[crate::rc::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Weak>::new_in", "Argument[0]", "ReturnValue.Field[crate::rc::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Weak>::upgrade", "Argument[self].Field[crate::rc::Weak::alloc].Reference", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Weak>::upgrade", "Argument[self].Field[crate::rc::Weak::alloc]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::rc::Rc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::Weak>::upgrade", "Argument[self].Field[crate::rc::Weak::ptr]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::rc::Rc::ptr]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::WeakInner as crate::rc::RcInnerPtr>::strong_ref", "Argument[self].Field[crate::rc::WeakInner::strong]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::rc::WeakInner as crate::rc::RcInnerPtr>::weak_ref", "Argument[self].Field[crate::rc::WeakInner::weak]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::FromUtf8Error>::as_bytes", "Argument[self].Field[crate::string::FromUtf8Error::bytes].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::FromUtf8Error>::into_bytes", "Argument[self].Field[crate::string::FromUtf8Error::bytes]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::FromUtf8Error>::utf8_error", "Argument[self].Field[crate::string::FromUtf8Error::error]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::IntoChars>::into_string", "Argument[self].Field[crate::string::IntoChars::bytes].Element", "ReturnValue.Field[crate::string::String::vec].Element", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::borrow::Borrow>::borrow", "Argument[self].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::clone::Clone>::clone", "Argument[self].Field[crate::string::String::vec].Reference", "ReturnValue.Field[crate::string::String::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::clone::Clone>::clone", "Argument[self].Field[crate::string::String::vec]", "ReturnValue.Field[crate::string::String::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::convert::AsMut>::as_mut", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::string::String as crate::convert::TryFrom>::try_from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::string::String as crate::ops::arith::Add>::add", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::ops::deref::Deref>::deref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String as crate::str::traits::FromStr>::from_str", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::string::String>::as_mut_vec", "Argument[self].Field[crate::string::String::vec]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String>::drain", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::string::String>::from_utf8", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::string::FromUtf8Error::bytes]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String>::from_utf8", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::string::String::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String>::from_utf8_lossy_owned", "Argument[0]", "ReturnValue.Field[crate::string::String::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String>::from_utf8_unchecked", "Argument[0]", "ReturnValue.Field[crate::string::String::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::string::String>::into_bytes", "Argument[self].Field[crate::string::String::vec]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc as crate::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc as crate::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc as crate::convert::TryFrom>::try_from", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::allocator", "Argument[0].Field[crate::sync::Arc::alloc]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::downcast", "Argument[self]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::downgrade", "Argument[0].Field[crate::sync::Arc::alloc].Reference", "ReturnValue.Field[crate::sync::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::downgrade", "Argument[0].Field[crate::sync::Arc::alloc]", "ReturnValue.Field[crate::sync::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::downgrade", "Argument[0].Field[crate::sync::Arc::ptr]", "ReturnValue.Field[crate::sync::Weak::ptr]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::new_uninit_in", "Argument[0]", "ReturnValue.Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::new_uninit_slice_in", "Argument[1]", "ReturnValue.Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::new_zeroed_in", "Argument[0]", "ReturnValue.Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::new_zeroed_slice_in", "Argument[1]", "ReturnValue.Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::try_new_uninit_in", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::try_new_zeroed_in", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::try_unwrap", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::unwrap_or_clone", "Argument[0].Reference.Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Arc>::unwrap_or_clone", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Weak as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::sync::Weak>::allocator", "Argument[self].Field[crate::sync::Weak::alloc]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Weak>::from_raw", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::sync::Weak>::from_raw_in", "Argument[1]", "ReturnValue.Field[crate::sync::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Weak>::new_in", "Argument[0]", "ReturnValue.Field[crate::sync::Weak::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Weak>::upgrade", "Argument[self].Field[crate::sync::Weak::alloc].Reference", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Weak>::upgrade", "Argument[self].Field[crate::sync::Weak::alloc]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::sync::Arc::alloc]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::sync::Weak>::upgrade", "Argument[self].Field[crate::sync::Weak::ptr]", "ReturnValue.Field[crate::option::Option::Some(0)].Field[crate::sync::Arc::ptr]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::borrow::Borrow>::borrow", "Argument[self].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::borrow::BorrowMut>::borrow_mut", "Argument[self].Element", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::convert::AsMut>::as_mut", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::convert::From>::from", "Argument[0].Field[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::convert::From>::from", "Argument[0].Field[crate::bstr::ByteString(0)]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::convert::From>::from", "Argument[0].Field[crate::collections::binary_heap::BinaryHeap::data]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec as crate::convert::From>::from", "Argument[0].Field[crate::string::String::vec]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::extract_if", "Argument[1]", "ReturnValue.Field[crate::vec::extract_if::ExtractIf::pred]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::extract_if", "Argument[self]", "ReturnValue.Field[crate::vec::extract_if::ExtractIf::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::from_parts_in", "Argument[1]", "ReturnValue.Field[crate::vec::Vec::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::from_raw_parts_in", "Argument[1]", "ReturnValue.Field[crate::vec::Vec::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::len", "Argument[self].Field[crate::vec::Vec::len]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::push_within_capacity", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::set_len", "Argument[0]", "Argument[self].Field[crate::vec::Vec::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::Vec>::truncate", "Argument[0]", "Argument[self].Field[crate::vec::Vec::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::drain::Drain as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::vec::extract_if::ExtractIf as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::vec::extract_if::ExtractIf>::new", "Argument[0]", "ReturnValue.Field[crate::vec::extract_if::ExtractIf::vec]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::extract_if::ExtractIf>::new", "Argument[1]", "ReturnValue.Field[crate::vec::extract_if::ExtractIf::pred]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter as crate::iter::adapters::SourceIter>::as_inner", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter as crate::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[crate::vec::into_iter::IntoIter::end].Reference", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter as crate::iter::traits::iterator::Iterator>::fold", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter as crate::iter::traits::iterator::Iterator>::try_fold", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter as crate::vec::in_place_collect::AsVecIntoIter>::as_into_iter", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter>::allocator", "Argument[self].Field[crate::vec::into_iter::IntoIter::alloc]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::into_iter::IntoIter>::forget_allocation_drop_remaining", "Argument[self].Field[crate::vec::into_iter::IntoIter::buf]", "Argument[self].Field[crate::vec::into_iter::IntoIter::ptr]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::set_len_on_drop::SetLenOnDrop as crate::ops::drop::Drop>::drop", "Argument[self].Field[crate::vec::set_len_on_drop::SetLenOnDrop::local_len]", "Argument[self].Field[crate::vec::set_len_on_drop::SetLenOnDrop::len].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::set_len_on_drop::SetLenOnDrop>::current_len", "Argument[self].Field[crate::vec::set_len_on_drop::SetLenOnDrop::local_len]", "ReturnValue", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::set_len_on_drop::SetLenOnDrop>::new", "Argument[0].Reference", "ReturnValue.Field[crate::vec::set_len_on_drop::SetLenOnDrop::local_len]", "value", "dfc-generated"]
      - ["lang:alloc", "<crate::vec::set_len_on_drop::SetLenOnDrop>::new", "Argument[0]", "ReturnValue.Field[crate::vec::set_len_on_drop::SetLenOnDrop::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<dyn crate::error::Error>::downcast", "Argument[self]", "ReturnValue.Field[crate::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["lang:alloc", "<i8 as crate::vec::spec_from_elem::SpecFromElem>::from_elem", "Argument[1]", "ReturnValue.Field[crate::vec::Vec::len]", "value", "dfc-generated"]
      - ["lang:alloc", "<str as crate::string::SpecToString>::spec_to_string", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["lang:alloc", "<u8 as crate::vec::spec_from_elem::SpecFromElem>::from_elem", "Argument[1]", "ReturnValue.Field[crate::vec::Vec::len]", "value", "dfc-generated"]
      - ["lang:alloc", "crate::collections::btree::mem::replace", "Argument[0].Reference", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:alloc", "crate::collections::btree::mem::replace", "Argument[1].ReturnValue", "Argument[0].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "crate::collections::btree::mem::take_mut", "Argument[0].Reference", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["lang:alloc", "crate::collections::btree::mem::take_mut", "Argument[1].ReturnValue", "Argument[0].Reference", "value", "dfc-generated"]
      - ["lang:alloc", "crate::str::convert_while_ascii", "Argument[0]", "Argument[1]", "taint", "df-generated"]