Rust: Replace recursion through forall with ranked recursion#21679

hvitved wants to merge 3 commits intogithub:maingithub/codeql:mainfrom

hvitved:rust/type-inference-forall-checkshvitved/codeql:rust/type-inference-forall-checksCopy head branch name to clipboard