Constant rustc_middle::ty::INNERMOST

pub const INNERMOST: DebruijnIndex;