{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
            // FIXME: remove this hack once https://github.com/rust-lang/rust/issues/79738 is fixed.
            // Those pointers may lose part of their identity in codegen.
            return None;