pub const exhaustive_patterns: Symbol;