MAX_CTXT

rustc_span::span_encoding

Constant MAX_CTXT 

Source 
const MAX_CTXT: u32 = 0b0111_1111_1111_1110;