Harald Nordgren [off-list ref] writes:
quoted
Are there "dead end" states, other than '1st-bad-found', in which we
can no longer make any progress? One thing that comes to mind is
"you said this one is good, but that contradicts what you said about
its ancestor that you said is bad". I wonder if we want to do
anything special here, just as this part of the code handles the
'1st-bad-found' state, for such "dead end" states.
Maybe, but I'm not sure this topic is the right place to dig into this?
No. But thinking if it supports such new use cases in the future
before committing to the new code structure is soemthing you would
want to make a habit of doing.
I personally think the new "do your thing just as usual, but then
the new code cleans up afterwards" structure better supports
anything new we will throw at in the future.
Thanks.