{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"\"clippy::option_option\","}]}
            "clippy::option_option",
            "clippy::option_as_ref_cloned",
            "clippy::ptr_as_ptr",