SuccessChanges

Summary

  1. [Concepts] Transform constraints of non-template functions to (details)
Commit 713562f54858f10bf8998ee21ff2c7e7bad0d177 by saar
[Concepts] Transform constraints of non-template functions to
ConstantEvaluated
We would previously try to evaluate atomic constraints of non-template
functions as-is, and since they are now unevaluated at first, this would
cause incorrect evaluation (bugs #44657, #44656).
Substitute into atomic constraints of non-template functions as we would
atomic constraints of template functions, in order to rebuild the
expressions in a constant-evaluated context.
The file was modifiedclang/include/clang/AST/ASTConcept.h
The file was modifiedclang/lib/Sema/SemaOverload.cpp
The file was modifiedclang/lib/Sema/SemaTemplateInstantiate.cpp
The file was modifiedclang/lib/AST/ASTConcept.cpp
The file was modifiedclang/lib/Sema/SemaExprCXX.cpp
The file was modifiedclang/include/clang/Basic/DiagnosticSemaKinds.td
The file was modifiedclang/include/clang/Sema/Sema.h
The file was modifiedclang/lib/Sema/SemaConcept.cpp
The file was modifiedclang/lib/Sema/SemaExpr.cpp
The file was modifiedclang/test/SemaTemplate/cxx2a-constraint-exprs.cpp