Constant rustc_span::span_encoding::LEN_TAG

pub(in span_encoding) const LEN_TAG: u16 = 0b1000_0000_0000_0000;