> Yup. But then if it falls through, verify_stmt will fail since the
> operand isn't valid. So, as I said, there are still some holes here.
Yes, but I think that abort is better than a much later wrong type abort.
Oh, sure, I agree with that. It's just that this hole may have to be
fixed some day.