pub(crate) fn get_variant_information<'s, S: UnderOwnerState<'s>>(
adt_def: &AdtDef<'s>,
variant_index: VariantIdx,
s: &S,
) -> VariantInformations
pub(crate) fn get_variant_information<'s, S: UnderOwnerState<'s>>(
adt_def: &AdtDef<'s>,
variant_index: VariantIdx,
s: &S,
) -> VariantInformations