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

Same type after stripping cv and references from both sides.

Template Parameters

T	First type.
U	Second type.

Not std::same_as: that does not strip. int and const int& match here.

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