[Cedar Doc Issue] like not correctly documented

[tpaulus]

What were you trying to do?
Load a policy from JSON.

What is wrong and why?
In Cedar 4.2.2 converting a policy from the JSON representation where the pattern field of the like condition operator fails if it is a string.

What do we need to do to fix this?
The pattern attribute of the like operator expects a array of either wildcards or literals, not a string.

Examples

Bad (as documented)

{
  "effect": "permit",
  "principal": {
    "op": "in",
    "entity": {
      "type": "IAM::User",
      "id": "user"
    }
  },
  "action": {
    "op": "in",
    "entity": {
      "type": "Role::Memberships::Action",
      "id": "role"
    }
  },
  "resource": {
    "op": "in",
    "entity": {
      "type": "IAM::Account",
      "id": "account"
    }
  },
  "conditions": [
    {
      "kind": "when",
      "body": {
        "!": {
          "arg": {
            "like": {
              "left": {
                ".": {
                  "left": {
                    "Var": "context"
                  },
                  "attr": "requestHostname"
                }
              },
              "pattern": "*api.*cloudflare.com"
            }
          }
        }
      }
    }
  ]
}

Good (as generated by Cedar when converting from Human form)

{
  "effect": "permit",
  "principal": {
    "op": "in",
    "entity": {
      "type": "IAM::User",
      "id": "user"
    }
  },
  "action": {
    "op": "in",
    "entity": {
      "type": "Role::Memberships::Action",
      "id": "role"
    }
  },
  "resource": {
    "op": "in",
    "entity": {
      "type": "IAM::Account",
      "id": "account"
    }
  },
  "conditions": [
    {
      "kind": "when",
      "body": {
        "!": {
          "arg": {
            "like": {
              "left": {
                ".": {
                  "left": {
                    "Var": "context"
                  },
                  "attr": "requestHostname"
                }
              },
              "pattern": [
                "Wildcard",
                {
                  "Literal": "a"
                },
                {
                  "Literal": "p"
                },
                {
                  "Literal": "i"
                },
                {
                  "Literal": "."
                },
                "Wildcard",
                {
                  "Literal": "c"
                },
                {
                  "Literal": "l"
                },
                {
                  "Literal": "o"
                },
                {
                  "Literal": "u"
                },
                {
                  "Literal": "d"
                },
                {
                  "Literal": "f"
                },
                {
                  "Literal": "l"
                },
                {
                  "Literal": "a"
                },
                {
                  "Literal": "r"
                },
                {
                  "Literal": "e"
                },
                {
                  "Literal": "."
                },
                {
                  "Literal": "c"
                },
                {
                  "Literal": "o"
                },
                {
                  "Literal": "m"
                }
              ]
            }
          }
        }
      }
    }
  ]
}

[john-h-kastner-aws]

good catch. looks like it was never updated for cedar-policy/cedar#622