pub const exhaustive_integer_patterns: Symbol;