Ref-head rule reported as conflicting although it isn't

[anderseknert]

package play

import rego.v1

x := "node"

obj[x].y := "foo"

obj[x].z contains "bar"

gives

1 error occurred: policy.rego:7: rego_type_error: conflicting rules data.play.obj[__local1__].z found

There shouldn't be any ways these incremental definitions could create a conflict though given that they both contribute to different subtrees (x and z) of the object.

Another lesser issue is of course how __local1__ leaks out in the error message, but that would be even less of an issue if this wasn't an error :)

Playground link

[stale]

This issue has been automatically marked as inactive because it has not had any activity in the last 30 days. Although currently inactive, the issue could still be considered and actively worked on in the future. More details about the use-case this issue attempts to address, the value provided by completing it or possible solutions to resolve it would help to prioritize the issue.