The linter in the post is `err113`. `errortype` does already warn:

https://github.com/fillmore-labs/errortype#errortype

Ah right, wrong linter. Thanks for confirming!