Don't generate catch-all failure branch when pattern synonym rhs is irrefutable