{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"with(|ctx|"}]}
        with(|ctx| ctx.binop_ty(*self, lhs_ty, rhs_ty))
    pub fn ty(&self, lhs_ty: Ty, rhs_ty: Ty) -> Ty {
    }