OK.
On Fri, Mar 30, 2018 at 3:49 AM, Alexandre Oliva wrote:
> We use SAVE_EXPRs in conditional expressions without the middle
> operand, to evaluate the first operand only once. When the conversion
> of the first operand fails, we may call instantiate_type get a better
>
We use SAVE_EXPRs in conditional expressions without the middle
operand, to evaluate the first operand only once. When the conversion
of the first operand fails, we may call instantiate_type get a better
error message. We have code to peel off the SAVE_EXPR there, but then
we may end up with a