Constant rustc_span::span_encoding::LEN_TAG

const LEN_TAG: u16 = 0b1000_0000_0000_0000;