{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
            serde_json::to_writer_pretty(&mut *self.dst, &val)?
            serde_json::to_writer(&mut *self.dst, &val)?