{"ast_node_type":"other","tokens":[{"end":102,"kind":"keyword","start":0,"text":"//"}]}
        // (In particular, no check about whether this is even the active variant -- that's by design,
        // Downcasts only change the layout.
        // see https://github.com/rust-lang/rust/issues/93688#issuecomment-1032929496.)