{"ast_node_type":"variable","tokens":[{"end":77,"kind":"keyword","start":0,"text":"let"}]}
                let ret_ty = if self.is_builtin_binop(&lhs_ty, &lhs_ty, op) {
                // type applicable to `op`.
                    // Assume both operands are builtin so we can continue inference. No guarantee