mirror of
https://github.com/open-policy-agent/opa.git
synced 2026-08-12 19:32:48 -06:00
3b8e2d595b
Fixing regression where `future.keywords.not` negated expressions nested
inside an `every` body would fail to plug variables for partial
evaluation.
E.g.
```rego
package test
import future.keywords.not
p if {
x = input.foo
every y in [1, 2] {
not f(x, y)
}
}
```
would fail to plug `x`:
```rego
every __local0__1, __local1__1 in [1, 2] {
not data.test.f(x, __local1__)
}
x1 = input.foo
```
instead of the expected:
```rego
every __local0__1, __local1__1 in [1, 2] {
not data.test.f(input.foo, __local1__1)
}
x1 = input.foo
```
Signed-off-by: Johan Fylling <johan.dev@fylling.se>