---
cases:
  - note: jwtbuiltins/bad-signature-encoding
    query: data.generated.p = x
    modules:
      - |
        package generated

        p := [x, y, z] if {
        	io.jwt.decode("eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJzdWIiOiIwIiwiaXNzIjoib3BhIn0.XmVoLoHI3pxMtMO(_WRONMSJzGUDP9pDjy8Jp0_tdRXY", [x, y, z])
        }
    data: {}
    want_error_code: eval_builtin_error
    want_error: "JWT signature had invalid encoding: illegal base64 data at input byte 15"
    strict_error: true
