Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
robot-name: remove redundant tests (#1983)
[no important files changed] part of #1824 This is another case where I think it makes sense to actually keep the util function around. It produces a good error message and in combination with the body of the test function, users should have enough information. As the comment in the diff already states, the removed tests are redundant because the type system prevents such errors anyway.
- Loading branch information