{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
    // full_range.start < focus_range.start < name, should give us a decent unique ordering
) -> std::cmp::Ordering {
    nav.full_range