[clang] [Clang][Concepts] Fix the constraint equivalence checking involving parameter packs (PR #102131)

[via cfe-commits]

cor3ntin wrote:

should we rename `SubstituteConstraintExpressionWithoutSatisfaction` to make it clear it only works to compare them?

https://github.com/llvm/llvm-project/pull/102131