Constant MAX_IMPLICIT_DEPTH 

pub const MAX_IMPLICIT_DEPTH: u8 = _ /* 126u8 */;

During implicit level resolution, embedding level can go as high as max_depth + 1.