Encode VariantIdx
so we can decode ADT variants in the right order
#111494
+58
−22
VariantIdx
so we can decode ADT variants in the right order
#111494