{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":".then_with(||"}]}
        .then_with(|| kind.disc().cmp(&kind_b.disc()))
        })
        .then_with(|| nav.name.cmp(&nav_b.name))