[clang] [Clang][WIP] Normalize constraints before checking for satisfaction (PR #141776)

[Corentin Jabot via cfe-commits]

cor3ntin wrote:

There are still a few test failures, including in libc++, but I think we are are at the stage where this could benefit from more eyes

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