{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"index:"}]}
            index: self.index,
            def_id: tables.generic_def(self.def_id),
            pure_wrt_drop: self.pure_wrt_drop,