requires expression (since C++20)

Yields a prvalue expression of type bool that describes the constraints.

# Defect reports

DRApplied toBehavior as publishedCorrect behavior
CWG 2560C++20it was unclear whether parameter types are adjusted in requires expressionsalso adjusted
CWG 2911C++20all expressions appearing within requiresexpressions were unevaluated operandsonly someexpressions are

# See also