{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"}"}]}
                        }
                            MatchedSingle(pnr) => extract_symbol_from_pnr(dcx, pnr, ident.span)?,
                    }