{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"})"}]}
        })
                .cmp(&nav_b.focus_range.map_or_else(t_0, |it| it.start()))
        .then_with(|| kind.disc().cmp(&kind_b.disc()))