{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.adt_def(enum_did).variant_with_ctor_id(variant_ctor_did)
            Res::Def(DefKind::Ctor(CtorOf::Struct, ..), ctor_did) => {