Struct Tables 

pub struct Tables<K: Eq + Hash> {

    pub(crate) generics_of: UnordMap<K, QueryResult<Generics>>,
    pub(crate) refinement_generics_of: UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>,
    pub(crate) predicates_of: UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>,
    pub(crate) item_bounds: UnordMap<K, QueryResult<EarlyBinder<Clauses>>>,
    pub(crate) assoc_refinements_of: UnordMap<K, QueryResult<AssocRefinements>>,
    pub(crate) assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>,
    pub(crate) default_assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>,
    pub(crate) sort_of_assoc_reft: UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>,
    pub(crate) fn_sig: UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>,
    pub(crate) adt_def: UnordMap<K, QueryResult<AdtDef>>,
    pub(crate) constant_info: UnordMap<K, QueryResult<ConstantInfo>>,
    pub(crate) adt_sort_def: UnordMap<K, QueryResult<AdtSortDef>>,
    pub(crate) variants_of: UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>,
    pub(crate) type_of: UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>,
    pub(crate) normalized_defns: Rc<NormalizedDefns>,
    pub(crate) func_sort: UnordMap<FluxId<K>, PolyFuncSort>,
    pub(crate) func_span: UnordMap<FluxId<K>, Span>,
    pub(crate) sort_decl_param_count: UnordMap<FluxId<K>, usize>,
}

Fields

generics_of: UnordMap<K, QueryResult<Generics>>

refinement_generics_of: UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>

predicates_of: UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>

item_bounds: UnordMap<K, QueryResult<EarlyBinder<Clauses>>>

assoc_refinements_of: UnordMap<K, QueryResult<AssocRefinements>>

assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>

default_assoc_refinements_def: UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>

sort_of_assoc_reft: UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>

fn_sig: UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>

adt_def: UnordMap<K, QueryResult<AdtDef>>

constant_info: UnordMap<K, QueryResult<ConstantInfo>>

adt_sort_def: UnordMap<K, QueryResult<AdtSortDef>>

variants_of: UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>

type_of: UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>

normalized_defns: Rc<NormalizedDefns>

func_sort: UnordMap<FluxId<K>, PolyFuncSort>

func_span: UnordMap<FluxId<K>, Span>

sort_decl_param_count: UnordMap<FluxId<K>, usize>

Trait Implementations

impl<'tcx, K: Eq + Hash, __D: TyDecoder<'tcx>> Decodable<__D> for Tables<K>

where UnordMap<K, QueryResult<Generics>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<Clauses>>>: Decodable<__D>, UnordMap<K, QueryResult<AssocRefinements>>: Decodable<__D>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>: Decodable<__D>, UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>: Decodable<__D>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>: Decodable<__D>, UnordMap<K, QueryResult<AdtDef>>: Decodable<__D>, UnordMap<K, QueryResult<ConstantInfo>>: Decodable<__D>, UnordMap<K, QueryResult<AdtSortDef>>: Decodable<__D>, UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>: Decodable<__D>, UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>: Decodable<__D>, UnordMap<FluxId<K>, PolyFuncSort>: Decodable<__D>, UnordMap<FluxId<K>, Span>: Decodable<__D>, UnordMap<FluxId<K>, usize>: Decodable<__D>,

fn decode(__decoder: &mut __D) -> Self

impl<K: Eq + Hash> Default for Tables<K>

fn default() -> Self

Returns the “default value” for a type.

impl<'tcx, K: Eq + Hash, __E: TyEncoder<'tcx>> Encodable<__E> for Tables<K>

where UnordMap<K, QueryResult<Generics>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<RefinementGenerics>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<GenericPredicates>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<Clauses>>>: Encodable<__E>, UnordMap<K, QueryResult<AssocRefinements>>: Encodable<__E>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<Lambda>>>: Encodable<__E>, UnordMap<FluxId<K>, QueryResult<Option<EarlyBinder<Lambda>>>>: Encodable<__E>, UnordMap<FluxId<K>, QueryResult<EarlyBinder<FuncSort>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<PolyFnSig>>>: Encodable<__E>, UnordMap<K, QueryResult<AdtDef>>: Encodable<__E>, UnordMap<K, QueryResult<ConstantInfo>>: Encodable<__E>, UnordMap<K, QueryResult<AdtSortDef>>: Encodable<__E>, UnordMap<K, QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>>: Encodable<__E>, UnordMap<K, QueryResult<EarlyBinder<TyOrCtor>>>: Encodable<__E>, UnordMap<FluxId<K>, PolyFuncSort>: Encodable<__E>, UnordMap<FluxId<K>, Span>: Encodable<__E>, UnordMap<FluxId<K>, usize>: Encodable<__E>,

fn encode(&self, __encoder: &mut __E)