{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                    // The first range which ends *non-adjacently* to our start.
                if start < prev_start {
                    // And we can ensure that left <= right.