{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            return emit_to_destination(&buffer.render(), level, &mut self.dst, self.short_message);
        let primary_lo = sm.lookup_char_pos(primary_span.lo());