Rust: Regenerate generated models

Author: paldepind

rust/ql/lib/ext/generated/actix-web.model.yml

@@ -4,19 +4,18 @@ extensions:
       pack: codeql/rust-all
       extensible: summaryModel
     data:
+      - ["<once_cell::imp::OnceCell>::get_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<once_cell::imp::OnceCell>::into_inner", "Argument[self].Field[once_cell::imp::OnceCell::value].Field[core::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
       - ["<once_cell::race::OnceNonZeroUsize>::get_or_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<once_cell::race::OnceNonZeroUsize>::get_or_try_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["<once_cell::race::OnceRef>::get_or_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["<once_cell::race::OnceRef>::get_or_try_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
-      - ["<once_cell::race::once_box::OnceBox>::get_or_init", "Argument[0].ReturnValue", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<once_cell::race::once_box::OnceBox>::get_or_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<once_cell::race::once_box::OnceBox>::get_or_try_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<once_cell::sync::Lazy>::into_value", "Argument[0].Field[once_cell::sync::Lazy::init]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
-      - ["<once_cell::sync::OnceCell as core::clone::Clone>::clone_from", "Argument[0].Reference", "Argument[self].Reference", "value", "dfc-generated"]
       - ["<once_cell::sync::OnceCell>::set", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<once_cell::sync::OnceCell>::try_insert", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)].Field[1]", "value", "dfc-generated"]
       - ["<once_cell::unsync::Lazy>::into_value", "Argument[0].Field[once_cell::unsync::Lazy::init]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
-      - ["<once_cell::unsync::OnceCell as core::clone::Clone>::clone_from", "Argument[0].Reference", "Argument[self].Reference", "value", "dfc-generated"]
       - ["<once_cell::unsync::OnceCell>::get_or_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<once_cell::unsync::OnceCell>::get_or_try_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["<once_cell::unsync::OnceCell>::into_inner", "Argument[self].Field[once_cell::unsync::OnceCell::inner].Field[core::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]