{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // actually printed, so they produce an ICE.
        // (Also, even though `level` isn't `pub`, the whole `DiagInner` could