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

[Chris Apple via cfe-commits]

================
@@ -1259,6 +1263,12 @@ class Analyzer {
       return true;
     }
 
+    bool TraverseStmt(Stmt *Statement) {
+      if (Statement != TrailingRequiresClause)
----------------
cjappl wrote:

Could consider leaving a comment here saying why you skip trailing requires clauses (some truncated version of the description/findings of this PR)

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