[m-rev.] for review: diagnose errors involving invariant tvars

[Zoltan Somogyi]

On Thu, 30 Jul 2026 12:19:44 +1000, Peter Wang <novalazy at gmail.com> wrote:
> Or use parentheses to make it a single sentence?
> 
>     The parameter of the type constructor `one_or_more'/1 must be
>     invariant (it must be bound to the same type in the coerced-from and
>     coerced-to types) because it occurs in the type of the second
>     argument of the `one_or_more'/2 data constructor,
>     which has a type constructor other than
>     `one_or_more'/1, namely `list'/1.

I went with  a slight variant of this text.

Thanks for the review.

Zoltan.