{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"};"}]}
                        };
                            }
                        let variant = Self::variant_id_for_adt(self.db, &ctor, adt).unwrap();