{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
    // the infrastructure here so users still get hints. The symbols used here can be remove from
    // FIXME(#141617): we should have a better way to track removed library features, but we reuse
    // `symbol.rs` when that happens.