[clang] [clang] SemaFunctionEffects: When verifying a function, ignore any trailing 'requires' clause. (PR #114266)

[via cfe-commits]

Sirraide wrote:

> The two elements of the mystery are:
> 
> * why doesn't my `ExpectedLike<T, E>` copy constructor reproduce the behavior of `std::expected<T, E>`?
> * why does reproduction with `std::expected` depend on the global `operator &&` in `<valarray>`?

Yeah, that sounds pretty horrible to reduce. Dumping the AST to figure out what’s going on might be worth a try, but I’m not sure this would actually help too much...



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