{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"\"clippy::unnecessary_result_map_or_else\","}]}
            "clippy::unnecessary_result_map_or_else",
            "clippy::unnecessary_get_then_check",
            "clippy::zero_repeat_side_effects",