Concept Subspace :: sus :: choice_type :: ChoiceValueIsVoid

source
template <class Choice, auto Tag>
concept ChoiceValueIsVoid
requires 
!requires(const Choice& c) {
  { c.template get<Tag>() };
}

A helper concept that reports if the value in a Choice for the given Tag is null. When true, the accessor and setter methods are not available.