What you want is assert_unreached I suspect. But this is still weird.