Struct flowistry_pdg::rustc::mir::interpret::GlobalId

pub struct GlobalId<'tcx> {
    pub instance: Instance<'tcx>,
    pub promoted: Option<Promoted>,
}

Uniquely identifies one of the following:

• A constant
• A static

Fields

instance: Instance<'tcx>

For a constant or static, the Instance of the item itself. For a promoted global, the Instance of the function they belong to.

promoted: Option<Promoted>

The index for promoted globals within their function’s mir::Body.