Constant rustc_span::span_encoding::CTXT_TAG

const CTXT_TAG: u32 = 0b1111_1111_1111_1111;