On Wed, Jun 10, 2020 at 8:16 PM Thomas Munro <thomas.munro@gmail.com> wrote:
> Confirmed here that this anomaly is missed in master and detected with
> the patch as shown, and check-world passes.
> Looks pretty good to me. Tricky problem, really excellent work.
Pushed a slightly refined version of v3 to all supported branches.
Thanks for the review!
--
Peter Geoghegan