pub const half_open_range_patterns: Symbol;