[m-rev.] for post-commit review: better diagnostic for missing higher order insts

[Zoltan Somogyi]

On 2023-07-20 18:06 +02:00 CEST, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> What follows is my attempt to incorporate the suggestions in
> this email thread in the text of the message.

In the absence of a review by then, I will commit a diff
generating error messages along the lines I proposed
in about 24 hours.

Zoltan.