{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"Res::Def(DefKind::Ctor(CtorOf::Variant,"}]}
            Res::Def(DefKind::Ctor(CtorOf::Variant, ..), variant_ctor_id) => {
            Res::Def(DefKind::Variant, variant_id) => Ok(adt_def.variant_index_with_id(variant_id)),
                Ok(adt_def.variant_index_with_ctor_id(variant_ctor_id))