def aud.bad

bend-kit-jwt@0.11.0.1 · jwt.bend:380

import Base

380# RFC 7519 §4.1.3: a token with an aud that does not name us fails, as does one without aud when we want one.
381def aud.bad(want: Maybe<&2, String>, got: Maybe<&2, List<&2, String>>) -> Bool:
382  match want got:
383    case None{} None{}:
384      False{}
385    case None{} Some{l}:
386      True{}
387    case Some{w} None{}:
388      True{}
389    case Some{w} Some{l}:
390      Bool.not(aud.has(l, octets(w)))