{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"//"}]}
            // in this way.
            // many ranges such as '\u{037A}'..='\u{037F}', and chars can be compared
            (Finite(a), Finite(b)) if matches!(ty.kind(), ty::Int(_) | ty::Uint(_) | ty::Char) => {