{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"\"clippy::result_map_or_into_option\","}]}
            "clippy::result_map_or_into_option",
            "clippy::redundant_static_lifetimes",
            "clippy::result_unit_err",