Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
These additional checks aren't necessary in theory (and we do already have tests covering these edge cases), but I think they still make sense to make them explicit and to be more resilient against potential future changes.
- Loading branch information