You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not an elixir expert, so apologies if I'm understanding this issue incorrectly. When trying to upgrade jose to 1.11.9, there's an added spec to verify_strict/3:
Our dialyzer check for our application is failing because we were anticipating such results like {:error, reason} in addition to the currently spec'd {valid? :: boolean(), jwt :: t(), jws :: JOSE.JWS.t()}. I believe that the catch result should also be added to the type spec, here is the catch code block:
I'm not an elixir expert, so apologies if I'm understanding this issue incorrectly. When trying to upgrade jose to 1.11.9, there's an added spec to
verify_strict/3
:erlang-jose/lib/jose/jwt.ex
Line 312 in 66e6eec
Our dialyzer check for our application is failing because we were anticipating such results like
{:error, reason}
in addition to the currently spec'd{valid? :: boolean(), jwt :: t(), jws :: JOSE.JWS.t()}
. I believe that the catch result should also be added to the type spec, here is the catch code block:erlang-jose/lib/jose/jwt.ex
Lines 352 to 355 in 09de6d2
The text was updated successfully, but these errors were encountered: