---
cases:
  - data:
      a:
        - 1
        - 2
        - 3
        - 4
    modules:
      - |
        package generated

        p {
          data.ex.allow_basic = true with data.a as "testdata"
        }
      - |
        package ex

        allow_basic {
          data.a = "testdata"
        }
    note: withkeyword/with basic data
    query: data.generated.p = x
    want_result:
      - x: true
