StormByte::Type::SameAs Concept Reference

Concept to check if two types are the same. More...

#include <type_traits.hxx>

Concept definition

template<typename T, typename U>
concept StormByte::Type::SameAs =  std::is_same_v<std::remove_cvref_t<T>, std::remove_cvref_t<U>>

Detailed Description

Concept to check if two types are the same.

Template Parameters

T	First type.
U	Second type.

Types satisfy SameAs if they are identical after removing cv-qualifiers and references.

template<typename T, typename U>
requires Type::SameAs<T, U>
void ensure_same_type(T a, U b) { ... }