{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"label:"}]}
        label: "clippy::cast_slice_different_sizes",
    Lint {
        description: r##"Checks for `as` casts between raw pointers to slices with differently sized elements."##,