Struct Queries

pub struct Queries<'genv, 'tcx> {

    pub(crate) providers: Providers,
    mir: RefCell<UnordMap<LocalDefId, QueryResult<Rc<Body<'tcx>>>>>,
    collect_specs: OnceCell<Specs>,
    resolve_crate: OnceCell<ResolverOutput>,
    desugar: RefCell<UnordMap<LocalDefId, QueryResult<Node<'genv>>>>,
    fhir_crate: OnceCell<FluxItems<'genv>>,
    lower_generics_of: RefCell<UnordMap<DefId, Generics<'tcx>>>,
    lower_predicates_of: RefCell<UnordMap<DefId, QueryResult<GenericPredicates>>>,
    lower_type_of: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<Ty>>>>,
    lower_fn_sig: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<PolyFnSig>>>>,
    defns: OnceCell<QueryResult<SpecFuncDefns>>,
    func_decls: RefCell<UnordMap<Symbol, QueryResult<SpecFuncDecl>>>,
    qualifiers: OnceCell<QueryResult<Vec<Qualifier>>>,
    adt_sort_def_of: RefCell<UnordMap<DefId, QueryResult<AdtSortDef>>>,
    check_wf: RefCell<UnordMap<LocalDefId, QueryResult<Rc<WfckResults>>>>,
    adt_def: RefCell<UnordMap<DefId, QueryResult<AdtDef>>>,
    generics_of: RefCell<UnordMap<DefId, QueryResult<Generics>>>,
    refinement_generics_of: RefCell<UnordMap<DefId, QueryResult<RefinementGenerics>>>,
    predicates_of: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<GenericPredicates>>>>,
    assoc_refinements_of: RefCell<UnordMap<DefId, QueryResult<AssocRefinements>>>,
    assoc_refinement_def: RefCell<UnordMap<(DefId, Symbol), QueryResult<EarlyBinder<Lambda>>>>,
    default_assoc_refinement_def: RefCell<UnordMap<(DefId, Symbol), QueryResult<Option<EarlyBinder<Lambda>>>>>,
    sort_of_assoc_reft: RefCell<UnordMap<(DefId, Symbol), QueryResult<Option<EarlyBinder<FuncSort>>>>>,
    item_bounds: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<List<Clause>>>>>,
    type_of: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<TyOrCtor>>>>,
    variants_of: RefCell<UnordMap<DefId, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>>,
    fn_sig: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<PolyFnSig>>>>,
    lower_late_bound_vars: RefCell<UnordMap<LocalDefId, QueryResult<List<BoundVariableKind>>>>,
}

Fields

providers: Providers

mir: RefCell<UnordMap<LocalDefId, QueryResult<Rc<Body<'tcx>>>>>

collect_specs: OnceCell<Specs>

resolve_crate: OnceCell<ResolverOutput>

desugar: RefCell<UnordMap<LocalDefId, QueryResult<Node<'genv>>>>

fhir_crate: OnceCell<FluxItems<'genv>>

lower_generics_of: RefCell<UnordMap<DefId, Generics<'tcx>>>

lower_predicates_of: RefCell<UnordMap<DefId, QueryResult<GenericPredicates>>>

lower_type_of: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<Ty>>>>

lower_fn_sig: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<PolyFnSig>>>>

defns: OnceCell<QueryResult<SpecFuncDefns>>

func_decls: RefCell<UnordMap<Symbol, QueryResult<SpecFuncDecl>>>

qualifiers: OnceCell<QueryResult<Vec<Qualifier>>>

adt_sort_def_of: RefCell<UnordMap<DefId, QueryResult<AdtSortDef>>>

check_wf: RefCell<UnordMap<LocalDefId, QueryResult<Rc<WfckResults>>>>

adt_def: RefCell<UnordMap<DefId, QueryResult<AdtDef>>>

generics_of: RefCell<UnordMap<DefId, QueryResult<Generics>>>

refinement_generics_of: RefCell<UnordMap<DefId, QueryResult<RefinementGenerics>>>

predicates_of: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<GenericPredicates>>>>

assoc_refinements_of: RefCell<UnordMap<DefId, QueryResult<AssocRefinements>>>

assoc_refinement_def: RefCell<UnordMap<(DefId, Symbol), QueryResult<EarlyBinder<Lambda>>>>

default_assoc_refinement_def: RefCell<UnordMap<(DefId, Symbol), QueryResult<Option<EarlyBinder<Lambda>>>>>

sort_of_assoc_reft: RefCell<UnordMap<(DefId, Symbol), QueryResult<Option<EarlyBinder<FuncSort>>>>>

item_bounds: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<List<Clause>>>>>

type_of: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<TyOrCtor>>>>

variants_of: RefCell<UnordMap<DefId, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>>

fn_sig: RefCell<UnordMap<DefId, QueryResult<EarlyBinder<PolyFnSig>>>>

lower_late_bound_vars: RefCell<UnordMap<LocalDefId, QueryResult<List<BoundVariableKind>>>>

Implementations

impl<'genv, 'tcx> Queries<'genv, 'tcx>

pub(crate) fn new(providers: Providers) -> Self

pub(crate) fn mir( &self, genv: GlobalEnv<'genv, 'tcx>, def_id: LocalDefId, ) -> QueryResult<Rc<Body<'tcx>>>

pub(crate) fn collect_specs( &'genv self, genv: GlobalEnv<'genv, 'tcx>, ) -> &'genv Specs

pub(crate) fn resolve_crate( &'genv self, genv: GlobalEnv<'genv, 'tcx>, ) -> &'genv ResolverOutput

pub(crate) fn desugar( &'genv self, genv: GlobalEnv<'genv, 'tcx>, def_id: LocalDefId, ) -> QueryResult<Node<'genv>>

pub(crate) fn fhir_crate( &'genv self, genv: GlobalEnv<'genv, 'tcx>, ) -> &'genv FluxItems<'genv>

pub(crate) fn lower_generics_of( &self, genv: GlobalEnv<'genv, 'tcx>, def_id: DefId, ) -> Generics<'tcx>

pub(crate) fn lower_predicates_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<GenericPredicates>

pub(crate) fn lower_type_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<EarlyBinder<Ty>>

pub(crate) fn lower_fn_sig( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<EarlyBinder<PolyFnSig>>

pub(crate) fn lower_late_bound_vars( &self, genv: GlobalEnv<'_, '_>, def_id: LocalDefId, ) -> QueryResult<List<BoundVariableKind>>

pub(crate) fn spec_func_defns( &self, genv: GlobalEnv<'_, '_>, ) -> QueryResult<&SpecFuncDefns>

pub(crate) fn func_decl( &self, genv: GlobalEnv<'_, '_>, name: Symbol, ) -> QueryResult<SpecFuncDecl>

pub(crate) fn qualifiers( &self, genv: GlobalEnv<'_, '_>, ) -> QueryResult<&[Qualifier]>

pub(crate) fn adt_sort_def_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<AdtSortDef>

pub(crate) fn check_wf( &self, genv: GlobalEnv<'genv, '_>, def_id: LocalDefId, ) -> QueryResult<Rc<WfckResults>>

pub(crate) fn adt_def( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<AdtDef>

pub(crate) fn generics_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<Generics>

pub(crate) fn refinement_generics_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<RefinementGenerics>

pub(crate) fn item_bounds( &self, genv: GlobalEnv<'genv, 'tcx>, def_id: DefId, ) -> QueryResult<EarlyBinder<List<Clause>>>

pub(crate) fn predicates_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<EarlyBinder<GenericPredicates>>

pub(crate) fn assoc_refinements_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<AssocRefinements>

pub(crate) fn assoc_refinement_def( &self, genv: GlobalEnv<'_, '_>, impl_id: DefId, name: Symbol, ) -> QueryResult<EarlyBinder<Lambda>>

pub(crate) fn default_assoc_refinement_def( &self, genv: GlobalEnv<'_, '_>, trait_id: DefId, name: Symbol, ) -> QueryResult<Option<EarlyBinder<Lambda>>>

pub(crate) fn sort_of_assoc_reft( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, name: Symbol, ) -> QueryResult<Option<EarlyBinder<FuncSort>>>

pub(crate) fn type_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<EarlyBinder<TyOrCtor>>

pub(crate) fn variants_of( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>

pub(crate) fn fn_sig( &self, genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<EarlyBinder<PolyFnSig>>