{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":".then_with(||"}]}
        .then_with(|| {
        .cmp(&nav_b.full_range.start())
            let t_0 = || TextSize::from(0);