# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/rust-all
      extensible: summaryModelDeprecated
    data:
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::Array64 as crate::convert::AsMut>::as_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::Array64 as crate::convert::AsMut>::as_mut", "Argument[self].Field[rand_chacha::chacha::Array64(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::Array64 as crate::convert::AsRef>::as_ref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::Array64 as crate::convert::AsRef>::as_ref", "Argument[self].Field[rand_chacha::chacha::Array64(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha12Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand_chacha::chacha::ChaCha12Rng::rng].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha12Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha12Rng>::get_word_pos", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha12Rng>::set_word_pos", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha20Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand_chacha::chacha::ChaCha20Rng::rng].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha20Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha20Rng>::get_word_pos", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha20Rng>::set_word_pos", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha8Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand_chacha::chacha::ChaCha8Rng::rng].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha8Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha8Rng>::get_word_pos", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::ChaCha8Rng>::set_word_pos", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::abstract12::ChaCha12Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::abstract20::ChaCha20Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "<crate::chacha::abstract8::ChaCha8Rng as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "crate::guts::diagonalize", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "crate::guts::round", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand_chacha", "crate::guts::undiagonalize", "Argument[0]", "ReturnValue", "value", "dfc-generated"]