Struct CStore

pub struct CStore {
    pub(crate) local_tables: UnordMap<CrateNum, Tables<DefIndex>>,
    pub(crate) extern_tables: Tables<DefId>,
}

Fields

local_tables: UnordMap<CrateNum, Tables<DefIndex>>

extern_tables: Tables<DefId>

Implementations

impl CStore

pub fn load(tcx: TyCtxt<'_>, sess: &FluxSession) -> Self

pub(crate) fn merge_extern_tables( &mut self, tcx: TyCtxt<'_>, sess: &FluxSession, extern_tables: Tables<DefId>, )

Trait Implementations

impl CrateStore for CStore

fn fn_sig(&self, def_id: DefId) -> OptResult<EarlyBinder<PolyFnSig>>

fn adt_def(&self, def_id: DefId) -> OptResult<AdtDef>

fn adt_sort_def(&self, def_id: DefId) -> OptResult<AdtSortDef>

fn variants( &self, def_id: DefId, ) -> OptResult<Opaqueness<EarlyBinder<PolyVariants>>>

fn type_of(&self, def_id: DefId) -> OptResult<EarlyBinder<TyOrCtor>>

fn generics_of(&self, def_id: DefId) -> OptResult<Generics>

fn refinement_generics_of( &self, def_id: DefId, ) -> OptResult<EarlyBinder<RefinementGenerics>>

fn item_bounds(&self, def_id: DefId) -> OptResult<EarlyBinder<Clauses>>

fn predicates_of( &self, def_id: DefId, ) -> OptResult<EarlyBinder<GenericPredicates>>

fn assoc_refinements_of(&self, def_id: DefId) -> OptResult<AssocRefinements>

fn assoc_refinements_def( &self, key: FluxDefId, ) -> OptResult<EarlyBinder<Lambda>>

fn default_assoc_refinements_def( &self, key: FluxDefId, ) -> OptResult<Option<EarlyBinder<Lambda>>>

fn sort_of_assoc_reft(&self, key: FluxDefId) -> OptResult<EarlyBinder<FuncSort>>

fn constant_info(&self, key: DefId) -> OptResult<ConstantInfo>

fn normalized_defns(&self, krate: CrateNum) -> Rc<NormalizedDefns>

impl Default for CStore

fn default() -> CStore

Returns the “default value” for a type.