Rust: Add models for core::cmp::Ord::{min,max,clamp} - #21035

Rust: Add models for core::cmp::Ord::{min,max,clamp}#21035

hvitved merged 1 commit into

github:maingithub/codeql:mainfrom

hvitved:rust/ord-modelshvitved/codeql:rust/ord-modelsCopy head branch name to clipboard