{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // greater key or is equal to `size` in case all elements have smaller keys
    // At this point `start` either points at the first entry with equal or
    if start == size || key_fn(&data[start]) != *key {