{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
        // Don't lint when one of the ranges is a singleton.
        let Constructor::IntRange(this_range) = pat.ctor() else { continue };
        if this_range.is_singleton() {