On Tue, 7 Jan 2020 at 11:00, Dean Rasheed <dean(dot)a(dot)rasheed(at)gmail(dot)com> wrote:
>
> Here's a patch along those lines. Yes, it's a little more code
> duplication, but I think it's worth it for the more detailed error.
> There was no previous regression test coverage of this case so I added
> some (all other test output is unaltered).
>
[finally getting back to this]
Hearing no objections, I have pushed and back-patched this.
Regards,
Dean