{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
            // -- but this is because, as far as the code in the compiler is
            // It might seem surprising that `Fresh` counts as not *elided*
            // concerned -- `Fresh` variants act equivalently to "some fresh name".