{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // be overwritten with a new one thanks to `DerefMut`. So this assert
        // (Also, even though `level` isn't `pub`, the whole `DiagInner` could
        // protects against that, too.)