pub const deref_mir_constant: &str = _;