{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"ty::Int(_)"}]}
                    ty::Int(_) | ty::Uint(_) | ty::Bool | ty::Char | ty::Float(_)
                    // both operands have the same type.
                        if ty_left == right.ty(self.body, tcx) => {}