OPAのnot ==と!=
OPA/Regoにおいてnot x == yとx != yでは意味が変わることがある。
環境：OPA 0.59.0
定義されていない場合の挙動差
覚えるべきこと：
undefined との比較は == だろうが != だろうが undefined になる
not undefined は true になる
なので、input.nonexistence != "hello"とnot input.nonexistence == "hello"では挙動が異なる
サンプル: https://play.openpolicyagent.org/p/PpudYYVBie
リファレンス: https://www.openpolicyagent.org/docs/latest/policy-language/
Expressions that refer to undefined values are also undefined. This includes comparisons such as !=.
あとnegationのところ
配列の要素に対してループするときの挙動差
https://docs.styra.com/regal/rules/bugs/not-equals-in-loop に全部書いてある
"for any x∈X, x != a" と "not (for any x∈X, x == a)" を区別する
サンプル: https://play.openpolicyagent.org/p/9KZBFzT9Qg
SEO: not equal, not undefined