Comment of choice.type.equalityequality of two choices `a` and `b` is defined only if all element types of the choice are equatable. The choices are equal if they have the same ordinal number and the contained values are equal.
This will result in a compile time panic in case any element type is not equatable.
Comment of choice.type.equality
equality of two choices `a` and `b` is defined only if all element typesof the choice are equatable. The choices are equal if they have the same
ordinal number and the contained values are equal.
This will result in a compile time panic in case any element type is not
equatable.