---
cases:
  - data: {}
    modules:
      - |
        package generated

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