---
cases:
  - note: objectfilteridempotent/TestBuiltinObjectFilterIdempotent
    query: data.generated.p = x
    modules:
      - |
        package generated

        p if {
        	__local0__ = {"a": 1, "b": 2, "c": 3}
        	object.filter(__local0__, {"a"}, __local1__)
        	__local1__ = {"a": 1}
        	object.filter(__local0__, {"b"}, __local2__)
        	__local2__ = {"b": 2}
        	object.filter(__local0__, {"c"}, __local3__)
        	__local3__ = {"c": 3}
        	__local0__ = {"a": 1, "b": 2, "c": 3}
        }
    data: {}
    want_result:
      - x: true
