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
khepri_path, khepri_tree: Fix a few specs' return value
[Why]
There are several functions which use the same variable as an argument
and as their return value in their spec. Semantically, this means that
the argument is returned as is. Dialyzer doesn't enforce anything with
that (yet). But this is still incorrect.
So while working on several warnings, fix a few function specs. There
are still other functions that are incorrect in the same way.
0 commit comments