You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Trying to reference an item in a generated map by its numeric index in a some .. in iteration seems to have the type checker confused. I'd expect this to work:
package p
import rego.v1
ns := [1, 2, 3]
nums[x] contains ns if some x in ns
bug if {
some n1 in ns
some n2 in nums[n1]
}
anderseknert
changed the title
Type checker failure on referencing generated map with numeric keys inside some .. in iteration
Type checker failure on referencing generated map with numeric keys
May 7, 2024
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.
Trying to reference an item in a generated map by its numeric index in a
some .. in
iteration seems to have the type checker confused. I'd expect this to work:But it doesn't:
❯ opa eval -f pretty -d p.rego data.p 1 error occurred: p.rego:11: rego_type_error: undefined ref: data.p.nums[n1][__local6__] data.p.nums[n1][__local6__] ^ have (type): number want (one of): [__local2__]
The text was updated successfully, but these errors were encountered: