ConceptC++ Concept Web

Concept SameType

concept SameType<typename T, typename U> { /* unspecified */ };
template<typename T> concept_map SameType<T, T> { /* unspecified */ };

Where Defined

#include <concepts>

Description

Concept 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.