The `else` case in the branch is the "general" case. It's covered by the other test-cases. No need for a specific one.