Rust: Strengthen modeling of the Clone trait#19442

hvitved merged 1 commit intogithub:maingithub/codeql:mainfrom

hvitved:rust/clone-modelinghvitved/codeql:rust/clone-modelingCopy head branch name to clipboard