{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"\"clippy::option_map_or_err_ok\","}]}
            "clippy::option_map_or_err_ok",
            "clippy::op_ref",
            "clippy::option_map_or_none",