[m-rev.] for post-commit review: fix recent bootcheck failure in debug grades

[Peter Wang]

On Fri, 11 Sep 2026 01:18:04 +0200 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by anyone.
> 
> Zoltan.

> Fix recent bootcheck failure in debug grades.
> 
> compiler/restrict_var_maps.m:
>     Consider a variable used if it holds a typeinfo for an existentially
>     quantified type variable in the argument types of a predicate.
> 
> compiler/expand_lambdas.m:
> compiler/simplify_proc.m:
>     Pass the extra argument now needed by restrict_var_maps.

That looks okay.

Peter