{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"description:"}]}
        description: r##"Catch casts from `0` to some pointer type"##,
        label: "clippy::zero_ptr",
        default_severity: Severity::Allow,