{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            _ => bug!("get_adt_def called on a non-ADT {:?}", did),
        let repr = self.root.tables.repr_options.get(self, item_id).unwrap().decode(self);