Files
releases/docs
Sebastian Spaink b4d15e0c25 ast: Fix non-deterministic type errors when shadowing a built-in (#8880)
Fixes: #3729

A variable that shadows a built-in name (e.g. `count`) via `=`
unification was left un-rewritten, so later stages could mistake it for
the built-in and raise spurious type errors -- non-deterministically,
due to map iteration order in Graph.Sort.

Rewrite such body-bound variables to fresh locals, and make Graph.Sort
deterministic by ordering nodes before the topological sort.

---------

Signed-off-by: Sebastian Spaink <sebastianspaink@gmail.com>
2026-07-13 14:29:20 +00:00
..
2026-07-09 13:56:05 +01:00
2026-07-09 13:56:05 +01:00
2026-06-10 10:13:01 +01:00

Documentation and Website Development

Please see the contributing documentation for information about how to get started contributing to the OPA documentation and website.