Open viboes opened 10 years ago
If we decide to adopt PossiblyValued/possibly_valued_traits we could define a PossiblyUnexpected concept that requires PossibleValued and add a way to get the unexpected value.
I suggest to change the title of this issue to Change Errored to PossiblyErrored and make it an enhancement.
If we decide to adopt PossiblyValued/possibly_valued_traits we could define a PossiblyUnexpected concept that requires PossibleValued and add a way to get the unexpected value.