mrdocs::DescribedComparable

True if T has described members (for comparison).

Synopsis

Declared in <mrdocs/Support/CompareReflectedType.hpp>

template<typename T>
concept DescribedComparable = requires {
    typename describe::describe_members<T>;
};

Description

Semantically equivalent to has_describe_members<T>::value, but checked via a requires‐expression so that MSVC treats it as a wholly distinct atomic constraint. This avoids an MSVC bug where a constrained operator<=>() in the same namespace breaks constraint evaluation for the unrelated merge() template.

Created with MrDocs