pub const min_exhaustive_patterns: Symbol;