[clang] [Clang] Implement CWG2517 Useless restriction on use of parameter in constraint-expression (PR #132919)

[Shafik Yaghmour via cfe-commits]

https://github.com/shafik commented:

CC @mizvekov since it was suggested this is related to https://github.com/llvm/llvm-project/issues/126550 and it looked like based on the conversation there, there was some existing work going on.

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