{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"f.write_str(\"ever_inits:"}]}
            f.write_str("ever_inits: ")?;
        if self.ever_inits != old.ever_inits {
            self.ever_inits.fmt_diff_with(&old.ever_inits, ctxt, f)?;