{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
        // strictly fewer rows than `v`, `q` also matches `v`. In either case, we recorded in
        // `q` before `p` that matches `v2`, and we recorded that intersection. Since `v2` matches
        // `intersects_at_least` a pattern that matches `v`. Hence using `intersects_at_least` is