rustc_middle::ty

Constant INNERMOST

pub const INNERMOST: DebruijnIndex;