Shared, type inference: Add inference for type parameters with constraints (base type mentions)#19102

paldepind merged 8 commits intogithub:maingithub/codeql:mainfrom

paldepind:rust-ti-refactorpaldepind/codeql:rust-ti-refactorCopy head branch name to clipboard