An `assert_fail` construct

It would be nice if there an `assert_fail` construct, or similar. I imagine it would only be useful in tests, just like today's `assert`. Use case:

I want to create a unit test of a function, where I expect my input will cause the function to `fail!` That is, I want to test that my function fails when it should fail.