Constant rustc_span::span_encoding::MAX_CTXT

source ยท 
const MAX_CTXT: u32 = 0b0111_1111_1111_1110;