{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
                // removing it.
                // This may have performance implications, so please check perf when
                // This was added in <https://github.com/rust-lang/rust/pull/123302>.