{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // lints) this fallback is necessary.
        // Important: it is sound to produce an `ErrorGuaranteed` when stashing