Rust: Update generated models for core and std#19440

paldepind merged 2 commits intogithub:maingithub/codeql:mainfrom

paldepind:rust-update-stdlib-modelspaldepind/codeql:rust-update-stdlib-modelsCopy head branch name to clipboard