{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"*self.ecx.tcx,"}]}
                        *self.ecx.tcx,
                        &mut *fmt,
                        &mut allocs_to_print,