From cppreference.com
Usage
Specifies a constant expression on template parameters that
evaluate a requirement
.
Within such a requirement, introduces a
nested requirement
In a template declaration, specifies an
associated constraint
Notes
Feature-test macro ValueStdFeature
__cpp_concepts
201907L
(C++20)Constraints See also
class
,
typename
template
concept