fn is_short_pattern_inner(pat: &Pat) -> bool