Remove runtime failure from pattern matching

It's an artifact of the old refutable version of `match` and is no longer necessary.
I assume "attempted to fail" doesn't mean `fail!()`, but rather "attempted to not match". (aka "infallable" is being used as a synonym for "irrefutable" here?)