Rust: Add `SatisfiesConstraintInput` module in shared type inference#19829

hvitved merged 3 commits intogithub:maingithub/codeql:mainfrom

paldepind:rust/type-tree-constraintpaldepind/codeql:rust/type-tree-constraintCopy head branch name to clipboard