di::concepts::detail::StatusCodeErasableIntoHelper Concept Reference

#include <di/vocab/error/concepts/status_code_erasable_into.h>

Concept definition

template<typename From, typename To>
concept di::concepts::detail::StatusCodeErasableIntoHelper = 
        (!LanguageVoid<From> && !LanguageVoid<To> && TriviallyRelocatable<meta::StatusCodeDomainValue<From>> &&
         TriviallyRelocatable<meta::StatusCodeDomainValue<To>> &&
         sizeof(vocab::detail::StatusCodeStorage<From>) <= sizeof(vocab::detail::StatusCodeStorage<To>))