> On Jun 12, 2022, at 23:07, Pavel Stehule <pavel.stehule@gmail.com> wrote:
> The lazy implementation theoretically can be possible, but why?
Isn't one of the reasons for the savepoint (in fact, the principal reason) to reset the connection back to non-error
stateso that execution can continue? In that case, it really does need to create the savepoint at the start of the
block,regardless of what's in it, since any statement can raise an error.