{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"\"clippy::cast_nan_to_int\","}]}
            "clippy::cast_nan_to_int",
            "clippy::cast_enum_truncation",
            "clippy::cast_slice_from_raw_parts",