Constant mir_retag

Source
pub const mir_retag: Symbol;