{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                // We are at the `DiagInner`/`DiagCtxtInner` level rather than
                //
                // the usual `Diag`/`DiagCtxt` level, so we must augment `bug`