[m-rev.] for post-commit review: fully fix Mantis bug #585

[Peter Wang]

On Mon, 14 Sep 2026 13:11:18 +0200 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by Peter.
> 
> Zoltan.

> Fix test for "do branches have different typeclass_infos ...
> 
> ... for the same constraint?"
> 
> This *does* complete the workaround for Mantis bug #585.
> 
> compiler/simplify_proc.m:
>     Do not forget the typeclass_infos bound in branched control structures;
>     keep them around for the code *following* the branched control structure.
>     This is essential for the test to work for any branched control structure
>     in which the current one is enclosed.
> 
> tests/invalid/tci_liveness_abort.err_exp:
>     Expect diagnostics for both predicates where Mantis bug #585's
>     conditions arise.
> 

That's fine.

Peter