pub fn is_irrefutable_pattern(p: &Pattern) -> bool
Check if a pattern is irrefutable (always matches).