{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"(Finite(a),"}]}
            (Finite(a), Finite(b)) if matches!(ty.kind(), ty::Int(_) | ty::Uint(_) | ty::Char) => {
            // in this way.
                if let (Some(a), Some(b)) = (a.try_to_scalar_int(), b.try_to_scalar_int()) {