[clang] [Sema] When checking for constraint equivalence, do not calculate satisfaction (PR #74490)

[Ilya Biryukov via cfe-commits]

ilya-biryukov wrote:

@cor3ntin I have tried getting some lambda examples, but because lambda produces a unique type every time, I don't see how I can get a matching declaration with a lambda inside `requires` clause.

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