pub const dotdoteq_in_patterns: Symbol;