Remove runtime failure from pattern matching

It's an artifact of the old refutable version of `match` and is no longer necessary.