Repository navigation
Take the error case first in Result.Match and Result.Switch - #1041
Open
FreeApophis wants to merge 1 commit into
Open
FreeApophis wants to merge 1 commit into
FreeApophis wants to merge 1 commit into
Commits
Commits on Oct 30, 2026