Merge pull request #886 from dusk-network/mocello/error-non-exhaustive