Function format_pattern 

pub fn format_pattern(pattern: &NormalizedPattern) -> String

Formats a normalized pattern for display (e.g., in error messages). Unlike format_witness(), this can handle patterns with literal fields, since user-written patterns may contain literals in struct constructors.