Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint#21850

hvitved wants to merge 2 commits into

github:maingithub/codeql:mainfrom

hvitved:type-inference-unify-base-typehvitved/codeql:type-inference-unify-base-typeCopy head branch name to clipboard