flux_middle::cstoreTrait CrateStore
Source pub trait CrateStore {
Show 13 methods
// Required methods
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 generics_of(&self, def_id: DefId) -> OptResult<Generics>;
fn refinement_generics_of(
&self,
def_id: DefId,
) -> OptResult<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: (DefId, Symbol),
) -> OptResult<EarlyBinder<Lambda>>;
fn default_assoc_refinements_def(
&self,
key: (DefId, Symbol),
) -> OptResult<Option<EarlyBinder<Lambda>>>;
fn sort_of_assoc_reft(
&self,
key: (DefId, Symbol),
) -> OptResult<Option<EarlyBinder<FuncSort>>>;
fn variants(
&self,
def_id: DefId,
) -> OptResult<Opaqueness<EarlyBinder<PolyVariants>>>;
fn type_of(&self, def_id: DefId) -> OptResult<EarlyBinder<TyOrCtor>>;