Constant rustc_span::span_encoding::MAX_LEN

pub(in span_encoding) const MAX_LEN: u32 = 0b0111_1111_1111_1111;