A requires expression is a boolean expression in C++20 which is used to check properties of types and expressions. It is often used in conjunction with concepts, or with a requires clause. Consider tagging your question with [c++20], [c++-concepts], or [requires-clause] as well.
