Concept SameTypeconcept SameType<typename T, typename U> { /* unspecified */ };
template<typename T> concept_map SameType { /* unspecified */ }; Where Defined#include <concepts> DescriptionConcept SameType requires that its two type parameters have precisely the same type. Note that compiler support is required to
correctly implement the type-checking semantics of the
SameType concept.
|