pub const mir_debuginfo: Symbol;