{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"writeln!(w,"}]}
        writeln!(w, " {{")?;
        // Write allocation bytes.
        write_allocation_bytes(tcx, alloc, w, "    ")?;