{"ast_node_type":"function","tokens":[{"end":52,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn ty(&self, lhs_ty: Ty, rhs_ty: Ty) -> Ty {
    /// This function does not perform type checking, and it currently doesn't handle SIMD.
        with(|ctx| ctx.binop_ty(*self, lhs_ty, rhs_ty))