Add capability to test for Never #1572
Description
Currently it is a bit clunky to test for the return type Never, it would be best to condense it into a check_never or alike so we can clean up the code around the tests folder.
{{ message }}
Add capability to test for