rustc_span::span_encoding

Constant MAX_CTXT

Source 
const MAX_CTXT: u32 = 0b0111_1111_1111_1110;