[−][src]Trait rustc_middle::ty::query::QueryConfig

pub trait QueryConfig {
    type Key: Clone + Eq + Debug + Hash;
    type Value;
    type Stored: Clone;

    pub const NAME: &'static str;
}

Associated Types

type Key: Clone + Eq + Debug + Hash[src]

type Value[src]

type Stored: Clone[src]

Loading content...

Associated Constants

pub const NAME: &'static str[src]

Loading content...

Implementors

impl<'tcx> QueryConfig for adt_def<'tcx>[src]

type Key = DefId

type Value = &'tcx AdtDef

type Stored = &'tcx AdtDef

impl<'tcx> QueryConfig for adt_destructor<'tcx>[src]

type Key = DefId

type Value = Option<Destructor>

type Stored = Option<Destructor>

impl<'tcx> QueryConfig for adt_drop_tys<'tcx>[src]

type Key = DefId

type Value = Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>

type Stored = Result<&'tcx List<&'tcx TyS<'tcx>>, AlwaysRequiresDrop>

impl<'tcx> QueryConfig for adt_dtorck_constraint<'tcx>[src]

type Key = DefId

type Value = Result<DtorckConstraint<'tcx>, NoSolution>

type Stored = Result<DtorckConstraint<'tcx>, NoSolution>

impl<'tcx> QueryConfig for adt_sized_constraint<'tcx>[src]

type Key = DefId

type Value = AdtSizedConstraint<'tcx>

type Stored = AdtSizedConstraint<'tcx>

impl<'tcx> QueryConfig for all_crate_nums<'tcx>[src]

type Key = CrateNum

type Value = &'tcx [CrateNum]

type Stored = &'tcx [CrateNum]

impl<'tcx> QueryConfig for all_diagnostic_items<'tcx>[src]

type Key = CrateNum

type Value = FxHashMap<Symbol, DefId>

type Stored = &'tcx HashMap<Symbol, DefId, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for all_local_trait_impls<'tcx>[src]

type Key = CrateNum

type Value = &'tcx BTreeMap<DefId, Vec<HirId>>

type Stored = &'tcx BTreeMap<DefId, Vec<HirId, Global>>

impl<'tcx> QueryConfig for all_trait_implementations<'tcx>[src]

impl<'tcx> QueryConfig for all_traits<'tcx>[src]

type Key = CrateNum

type Value = &'tcx [DefId]

type Stored = &'tcx [DefId]

impl<'tcx> QueryConfig for analysis<'tcx>[src]

type Key = CrateNum

type Value = Result<(), ErrorReported>

type Stored = Result<(), ErrorReported>

impl<'tcx> QueryConfig for associated_item<'tcx>[src]

type Key = DefId

type Value = AssocItem

type Stored = &'tcx AssocItem

impl<'tcx> QueryConfig for associated_item_def_ids<'tcx>[src]

type Key = DefId

type Value = &'tcx [DefId]

type Stored = &'tcx [DefId]

impl<'tcx> QueryConfig for associated_items<'tcx>[src]

type Key = DefId

type Value = AssociatedItems<'tcx>

type Stored = &'tcx AssociatedItems<'tcx>

impl<'tcx> QueryConfig for asyncness<'tcx>[src]

type Key = DefId

type Value = IsAsync

type Stored = IsAsync

impl<'tcx> QueryConfig for backend_optimization_level<'tcx>[src]

type Key = CrateNum

type Value = OptLevel

type Stored = OptLevel

impl<'tcx> QueryConfig for check_impl_item_well_formed<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_item_well_formed<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_match<'tcx>[src]

type Key = DefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_attrs<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_const_bodies<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_impl_wf<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_intrinsics<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_item_types<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_liveness<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_loops<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_naked_functions<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_privacy<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_mod_unstable_api_usage<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_private_in_public<'tcx>[src]

type Key = CrateNum

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for check_trait_item_well_formed<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for codegen_fn_attrs<'tcx>[src]

type Key = DefId

type Value = CodegenFnAttrs

type Stored = &'tcx CodegenFnAttrs

impl<'tcx> QueryConfig for codegen_fulfill_obligation<'tcx>[src]

type Key = (ParamEnv<'tcx>, PolyTraitRef<'tcx>)

type Value = Result<ImplSource<'tcx, ()>, ErrorReported>

type Stored = Result<ImplSource<'tcx, ()>, ErrorReported>

impl<'tcx> QueryConfig for codegen_unit<'tcx>[src]

type Key = Symbol

type Value = &'tcx CodegenUnit<'tcx>

type Stored = &'tcx CodegenUnit<'tcx>

impl<'tcx> QueryConfig for coerce_unsized_info<'tcx>[src]

type Key = DefId

type Value = CoerceUnsizedInfo

type Stored = CoerceUnsizedInfo

impl<'tcx> QueryConfig for coherent_trait<'tcx>[src]

type Key = DefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for collect_and_partition_mono_items<'tcx>[src]

type Key = CrateNum

type Value = (&'tcx DefIdSet, &'tcx [CodegenUnit<'tcx>])

type Stored = (&'tcx HashSet<DefId, BuildHasherDefault<FxHasher>>, &'tcx [CodegenUnit<'tcx>])

impl<'tcx> QueryConfig for collect_mod_item_types<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for const_caller_location<'tcx>[src]

type Key = (Symbol, u32, u32)

type Value = ConstValue<'tcx>

type Stored = ConstValue<'tcx>

impl<'tcx> QueryConfig for coverageinfo<'tcx>[src]

type Key = DefId

type Value = CoverageInfo

type Stored = &'tcx CoverageInfo

impl<'tcx> QueryConfig for covered_code_regions<'tcx>[src]

type Key = DefId

type Value = Vec<&'tcx CodeRegion>

type Stored = &'tcx Vec<&'tcx CodeRegion, Global>

impl<'tcx> QueryConfig for covered_file_name<'tcx>[src]

type Key = DefId

type Value = Option<Symbol>

type Stored = &'tcx Option<Symbol>

impl<'tcx> QueryConfig for crate_disambiguator<'tcx>[src]

impl<'tcx> QueryConfig for crate_extern_paths<'tcx>[src]

type Key = CrateNum

type Value = Vec<PathBuf>

type Stored = Vec<PathBuf, Global>

impl<'tcx> QueryConfig for crate_hash<'tcx>[src]

type Key = CrateNum

type Value = Svh

type Stored = Svh

impl<'tcx> QueryConfig for crate_host_hash<'tcx>[src]

type Key = CrateNum

type Value = Option<Svh>

type Stored = Option<Svh>

impl<'tcx> QueryConfig for crate_inherent_impls<'tcx>[src]

type Key = CrateNum

type Value = CrateInherentImpls

type Stored = &'tcx CrateInherentImpls

impl<'tcx> QueryConfig for crate_inherent_impls_overlap_check<'tcx>[src]

type Key = CrateNum

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for crate_name<'tcx>[src]

type Key = CrateNum

type Value = Symbol

type Stored = Symbol

impl<'tcx> QueryConfig for crate_variances<'tcx>[src]

type Key = CrateNum

type Value = CrateVariancesMap<'tcx>

type Stored = &'tcx CrateVariancesMap<'tcx>

impl<'tcx> QueryConfig for def_kind<'tcx>[src]

type Key = DefId

type Value = DefKind

type Stored = DefKind

impl<'tcx> QueryConfig for def_span<'tcx>[src]

type Key = DefId

type Value = Span

type Stored = Span

impl<'tcx> QueryConfig for defined_lang_items<'tcx>[src]

impl<'tcx> QueryConfig for defined_lib_features<'tcx>[src]

impl<'tcx> QueryConfig for dep_kind<'tcx>[src]

type Key = CrateNum

type Value = CrateDepKind

type Stored = CrateDepKind

impl<'tcx> QueryConfig for dependency_formats<'tcx>[src]

type Key = CrateNum

type Value = Lrc<Dependencies>

type Stored = Rc<Vec<(CrateType, Vec<Linkage, Global>), Global>>

impl<'tcx> QueryConfig for deref_const<'tcx>[src]

type Key = ParamEnvAnd<'tcx, &'tcx Const<'tcx>>

type Value = &'tcx Const<'tcx>

type Stored = &'tcx Const<'tcx>

impl<'tcx> QueryConfig for destructure_const<'tcx>[src]

type Key = ParamEnvAnd<'tcx, &'tcx Const<'tcx>>

type Value = DestructuredConst<'tcx>

type Stored = DestructuredConst<'tcx>

impl<'tcx> QueryConfig for diagnostic_items<'tcx>[src]

type Key = CrateNum

type Value = FxHashMap<Symbol, DefId>

type Stored = &'tcx HashMap<Symbol, DefId, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for diagnostic_only_typeck<'tcx>[src]

type Key = LocalDefId

type Value = &'tcx TypeckResults<'tcx>

type Stored = &'tcx TypeckResults<'tcx>

impl<'tcx> QueryConfig for dllimport_foreign_items<'tcx>[src]

type Key = CrateNum

type Value = FxHashSet<DefId>

type Stored = &'tcx HashSet<DefId, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for dropck_outlives<'tcx>[src]

type Key = CanonicalTyGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>

impl<'tcx> QueryConfig for dylib_dependency_formats<'tcx>[src]

impl<'tcx> QueryConfig for entry_fn<'tcx>[src]

impl<'tcx> QueryConfig for erase_regions_ty<'tcx>[src]

type Key = Ty<'tcx>

type Value = Ty<'tcx>

type Stored = &'tcx TyS<'tcx>

impl<'tcx> QueryConfig for eval_to_allocation_raw<'tcx>[src]

type Key = ParamEnvAnd<'tcx, GlobalId<'tcx>>

type Value = EvalToAllocationRawResult<'tcx>

type Stored = Result<ConstAlloc<'tcx>, ErrorHandled>

impl<'tcx> QueryConfig for eval_to_const_value_raw<'tcx>[src]

type Key = ParamEnvAnd<'tcx, GlobalId<'tcx>>

type Value = EvalToConstValueResult<'tcx>

type Stored = Result<ConstValue<'tcx>, ErrorHandled>

impl<'tcx> QueryConfig for evaluate_goal<'tcx>[src]

type Key = CanonicalChalkEnvironmentAndGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

impl<'tcx> QueryConfig for evaluate_obligation<'tcx>[src]

impl<'tcx> QueryConfig for explicit_item_bounds<'tcx>[src]

type Key = DefId

type Value = &'tcx [(Predicate<'tcx>, Span)]

type Stored = &'tcx [(Predicate<'tcx>, Span)]

impl<'tcx> QueryConfig for explicit_predicates_of<'tcx>[src]

type Key = DefId

type Value = GenericPredicates<'tcx>

type Stored = GenericPredicates<'tcx>

impl<'tcx> QueryConfig for expn_that_defined<'tcx>[src]

type Key = DefId

type Value = ExpnId

type Stored = ExpnId

impl<'tcx> QueryConfig for exported_symbols<'tcx>[src]

impl<'tcx> QueryConfig for extern_crate<'tcx>[src]

type Key = DefId

type Value = Option<&'tcx ExternCrate>

type Stored = Option<&'tcx ExternCrate>

impl<'tcx> QueryConfig for extern_mod_stmt_cnum<'tcx>[src]

type Key = LocalDefId

type Value = Option<CrateNum>

type Stored = Option<CrateNum>

impl<'tcx> QueryConfig for extra_filename<'tcx>[src]

type Key = CrateNum

type Value = String

type Stored = String

impl<'tcx> QueryConfig for features_query<'tcx>[src]

type Key = CrateNum

type Value = &'tcx Features

type Stored = &'tcx Features

impl<'tcx> QueryConfig for fn_arg_names<'tcx>[src]

type Key = DefId

type Value = &'tcx [Ident]

type Stored = &'tcx [Ident]

impl<'tcx> QueryConfig for fn_sig<'tcx>[src]

type Key = DefId

type Value = PolyFnSig<'tcx>

type Stored = Binder<FnSig<'tcx>>

impl<'tcx> QueryConfig for foreign_modules<'tcx>[src]

type Key = CrateNum

type Value = Lrc<FxHashMap<DefId, ForeignModule>>

type Stored = Rc<HashMap<DefId, ForeignModule, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryConfig for generator_kind<'tcx>[src]

type Key = DefId

type Value = Option<GeneratorKind>

type Stored = Option<GeneratorKind>

impl<'tcx> QueryConfig for generics_of<'tcx>[src]

type Key = DefId

type Value = Generics

type Stored = &'tcx Generics

impl<'tcx> QueryConfig for get_lang_items<'tcx>[src]

type Key = CrateNum

type Value = LanguageItems

type Stored = &'tcx LanguageItems

impl<'tcx> QueryConfig for get_lib_features<'tcx>[src]

type Key = CrateNum

type Value = LibFeatures

type Stored = &'tcx LibFeatures

impl<'tcx> QueryConfig for has_global_allocator<'tcx>[src]

type Key = CrateNum

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for has_panic_handler<'tcx>[src]

type Key = CrateNum

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for has_structural_eq_impls<'tcx>[src]

type Key = Ty<'tcx>

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for has_typeck_results<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for hir_crate<'tcx>[src]

type Key = CrateNum

type Value = &'tcx Crate<'tcx>

type Stored = &'tcx Crate<'tcx>

impl<'tcx> QueryConfig for hir_module_items<'tcx>[src]

type Key = LocalDefId

type Value = &'tcx ModuleItems

type Stored = &'tcx ModuleItems

impl<'tcx> QueryConfig for hir_owner<'tcx>[src]

type Key = LocalDefId

type Value = Option<&'tcx Owner<'tcx>>

type Stored = Option<&'tcx Owner<'tcx>>

impl<'tcx> QueryConfig for hir_owner_nodes<'tcx>[src]

type Key = LocalDefId

type Value = Option<&'tcx OwnerNodes<'tcx>>

type Stored = Option<&'tcx OwnerNodes<'tcx>>

impl<'tcx> QueryConfig for impl_defaultness<'tcx>[src]

type Key = DefId

type Value = Defaultness

type Stored = Defaultness

impl<'tcx> QueryConfig for impl_parent<'tcx>[src]

type Key = DefId

type Value = Option<DefId>

type Stored = Option<DefId>

impl<'tcx> QueryConfig for impl_polarity<'tcx>[src]

type Key = DefId

type Value = ImplPolarity

type Stored = ImplPolarity

impl<'tcx> QueryConfig for impl_trait_ref<'tcx>[src]

type Key = DefId

type Value = Option<TraitRef<'tcx>>

type Stored = Option<TraitRef<'tcx>>

impl<'tcx> QueryConfig for implementations_of_trait<'tcx>[src]

impl<'tcx> QueryConfig for implied_outlives_bounds<'tcx>[src]

type Key = CanonicalTyGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>, Global>>>, NoSolution>

impl<'tcx> QueryConfig for in_scope_traits_map<'tcx>[src]

type Key = LocalDefId

type Value = Option<&'tcx FxHashMap<ItemLocalId, StableVec<TraitCandidate>>>

type Stored = Option<&'tcx HashMap<ItemLocalId, StableVec<TraitCandidate>, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryConfig for index_hir<'tcx>[src]

type Key = CrateNum

type Value = &'tcx IndexedHir<'tcx>

type Stored = &'tcx IndexedHir<'tcx>

impl<'tcx> QueryConfig for inferred_outlives_crate<'tcx>[src]

type Key = CrateNum

type Value = CratePredicatesMap<'tcx>

type Stored = &'tcx CratePredicatesMap<'tcx>

impl<'tcx> QueryConfig for inferred_outlives_of<'tcx>[src]

type Key = DefId

type Value = &'tcx [(Predicate<'tcx>, Span)]

type Stored = &'tcx [(Predicate<'tcx>, Span)]

impl<'tcx> QueryConfig for inherent_impls<'tcx>[src]

type Key = DefId

type Value = &'tcx [DefId]

type Stored = &'tcx [DefId]

impl<'tcx> QueryConfig for instance_def_size_estimate<'tcx>[src]

type Key = InstanceDef<'tcx>

type Value = usize

type Stored = usize

impl<'tcx> QueryConfig for is_codegened_item<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_compiler_builtins<'tcx>[src]

type Key = CrateNum

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_const_fn_raw<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_const_impl_raw<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_copy_raw<'tcx>[src]

type Key = ParamEnvAnd<'tcx, Ty<'tcx>>

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_dllimport_foreign_item<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_foreign_item<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_freeze_raw<'tcx>[src]

type Key = ParamEnvAnd<'tcx, Ty<'tcx>>

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_late_bound_map<'tcx>[src]

type Key = LocalDefId

type Value = Option<&'tcx FxHashSet<ItemLocalId>>

type Stored = Option<&'tcx HashSet<ItemLocalId, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryConfig for is_mir_available<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_no_builtins<'tcx>[src]

type Key = CrateNum

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_panic_runtime<'tcx>[src]

type Key = CrateNum

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_profiler_runtime<'tcx>[src]

type Key = CrateNum

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_promotable_const_fn<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_reachable_non_generic<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_sized_raw<'tcx>[src]

type Key = ParamEnvAnd<'tcx, Ty<'tcx>>

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_statically_included_foreign_item<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for is_unreachable_local_definition<'tcx>[src]

type Key = DefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for issue33140_self_ty<'tcx>[src]

type Key = DefId

type Value = Option<Ty<'tcx>>

type Stored = Option<&'tcx TyS<'tcx>>

impl<'tcx> QueryConfig for item_attrs<'tcx>[src]

type Key = DefId

type Value = &'tcx [Attribute]

type Stored = &'tcx [Attribute]

impl<'tcx> QueryConfig for item_bounds<'tcx>[src]

type Key = DefId

type Value = &'tcx List<Predicate<'tcx>>

type Stored = &'tcx List<Predicate<'tcx>>

impl<'tcx> QueryConfig for item_children<'tcx>[src]

type Key = DefId

type Value = &'tcx [Export<HirId>]

type Stored = &'tcx [Export<HirId>]

impl<'tcx> QueryConfig for layout_raw<'tcx>[src]

type Key = ParamEnvAnd<'tcx, Ty<'tcx>>

type Value = Result<&'tcx Layout, LayoutError<'tcx>>

type Stored = Result<&'tcx Layout, LayoutError<'tcx>>

impl<'tcx> QueryConfig for link_args<'tcx>[src]

type Key = CrateNum

type Value = Lrc<Vec<String>>

type Stored = Rc<Vec<String, Global>>

impl<'tcx> QueryConfig for lint_levels<'tcx>[src]

type Key = CrateNum

type Value = LintLevelMap

type Stored = &'tcx LintLevelMap

impl<'tcx> QueryConfig for lint_mod<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for lit_to_const<'tcx>[src]

type Key = LitToConstInput<'tcx>

type Value = Result<&'tcx Const<'tcx>, LitToConstError>

type Stored = Result<&'tcx Const<'tcx>, LitToConstError>

impl<'tcx> QueryConfig for lookup_const_stability<'tcx>[src]

type Key = DefId

type Value = Option<&'tcx ConstStability>

type Stored = Option<&'tcx ConstStability>

impl<'tcx> QueryConfig for lookup_deprecation_entry<'tcx>[src]

impl<'tcx> QueryConfig for lookup_stability<'tcx>[src]

type Key = DefId

type Value = Option<&'tcx Stability>

type Stored = Option<&'tcx Stability>

impl<'tcx> QueryConfig for maybe_unused_extern_crates<'tcx>[src]

impl<'tcx> QueryConfig for maybe_unused_trait_import<'tcx>[src]

type Key = LocalDefId

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for method_autoderef_steps<'tcx>[src]

type Key = CanonicalTyGoal<'tcx>

type Value = MethodAutoderefStepsResult<'tcx>

type Stored = MethodAutoderefStepsResult<'tcx>

impl<'tcx> QueryConfig for mir_abstract_const<'tcx>[src]

impl<'tcx> QueryConfig for mir_abstract_const_of_const_arg<'tcx>[src]

impl<'tcx> QueryConfig for mir_borrowck<'tcx>[src]

type Key = LocalDefId

type Value = &'tcx BorrowCheckResult<'tcx>

type Stored = &'tcx BorrowCheckResult<'tcx>

impl<'tcx> QueryConfig for mir_borrowck_const_arg<'tcx>[src]

type Key = (LocalDefId, DefId)

type Value = &'tcx BorrowCheckResult<'tcx>

type Stored = &'tcx BorrowCheckResult<'tcx>

impl<'tcx> QueryConfig for mir_built<'tcx>[src]

type Key = WithOptConstParam<LocalDefId>

type Value = &'tcx Steal<Body<'tcx>>

type Stored = &'tcx Steal<Body<'tcx>>

impl<'tcx> QueryConfig for mir_const<'tcx>[src]

type Key = WithOptConstParam<LocalDefId>

type Value = &'tcx Steal<Body<'tcx>>

type Stored = &'tcx Steal<Body<'tcx>>

impl<'tcx> QueryConfig for mir_const_qualif<'tcx>[src]

type Key = DefId

type Value = ConstQualifs

type Stored = ConstQualifs

impl<'tcx> QueryConfig for mir_const_qualif_const_arg<'tcx>[src]

type Key = (LocalDefId, DefId)

type Value = ConstQualifs

type Stored = ConstQualifs

impl<'tcx> QueryConfig for mir_drops_elaborated_and_const_checked<'tcx>[src]

type Key = WithOptConstParam<LocalDefId>

type Value = &'tcx Steal<Body<'tcx>>

type Stored = &'tcx Steal<Body<'tcx>>

impl<'tcx> QueryConfig for mir_keys<'tcx>[src]

type Key = CrateNum

type Value = FxHashSet<LocalDefId>

type Stored = &'tcx HashSet<LocalDefId, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for mir_promoted<'tcx>[src]

type Key = WithOptConstParam<LocalDefId>

type Value = (&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)

type Stored = (&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)

impl<'tcx> QueryConfig for mir_shims<'tcx>[src]

type Key = InstanceDef<'tcx>

type Value = Body<'tcx>

type Stored = &'tcx Body<'tcx>

impl<'tcx> QueryConfig for missing_extern_crate_item<'tcx>[src]

type Key = CrateNum

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for missing_lang_items<'tcx>[src]

type Key = CrateNum

type Value = &'tcx [LangItem]

type Stored = &'tcx [LangItem]

impl<'tcx> QueryConfig for module_exports<'tcx>[src]

impl<'tcx> QueryConfig for named_region_map<'tcx>[src]

type Key = LocalDefId

type Value = Option<&'tcx FxHashMap<ItemLocalId, Region>>

type Stored = Option<&'tcx HashMap<ItemLocalId, Region, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryConfig for names_imported_by_glob_use<'tcx>[src]

type Key = LocalDefId

type Value = &'tcx FxHashSet<Symbol>

type Stored = &'tcx HashSet<Symbol, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for native_libraries<'tcx>[src]

type Key = CrateNum

type Value = Lrc<Vec<NativeLib>>

type Stored = Rc<Vec<NativeLib, Global>>

impl<'tcx> QueryConfig for native_library_kind<'tcx>[src]

type Key = DefId

type Value = Option<NativeLibKind>

type Stored = Option<NativeLibKind>

impl<'tcx> QueryConfig for needs_drop_raw<'tcx>[src]

type Key = ParamEnvAnd<'tcx, Ty<'tcx>>

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for normalize_generic_arg_after_erasing_regions<'tcx>[src]

type Key = ParamEnvAnd<'tcx, GenericArg<'tcx>>

type Value = GenericArg<'tcx>

type Stored = GenericArg<'tcx>

impl<'tcx> QueryConfig for normalize_opaque_types<'tcx>[src]

type Key = &'tcx List<Predicate<'tcx>>

type Value = &'tcx List<Predicate<'tcx>>

type Stored = &'tcx List<Predicate<'tcx>>

impl<'tcx> QueryConfig for normalize_projection_ty<'tcx>[src]

type Key = CanonicalProjectionGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>

impl<'tcx> QueryConfig for object_lifetime_defaults_map<'tcx>[src]

type Key = LocalDefId

type Value = Option<&'tcx FxHashMap<ItemLocalId, Vec<ObjectLifetimeDefault>>>

type Stored = Option<&'tcx HashMap<ItemLocalId, Vec<Set1<Region>, Global>, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryConfig for object_safety_violations<'tcx>[src]

impl<'tcx> QueryConfig for opt_const_param_of<'tcx>[src]

type Key = LocalDefId

type Value = Option<DefId>

type Stored = Option<DefId>

impl<'tcx> QueryConfig for optimized_mir<'tcx>[src]

type Key = DefId

type Value = &'tcx Body<'tcx>

type Stored = &'tcx Body<'tcx>

impl<'tcx> QueryConfig for optimized_mir_of_const_arg<'tcx>[src]

type Key = (LocalDefId, DefId)

type Value = &'tcx Body<'tcx>

type Stored = &'tcx Body<'tcx>

impl<'tcx> QueryConfig for original_crate_name<'tcx>[src]

type Key = CrateNum

type Value = Symbol

type Stored = Symbol

impl<'tcx> QueryConfig for output_filenames<'tcx>[src]

type Key = CrateNum

type Value = Arc<OutputFilenames>

type Stored = Arc<OutputFilenames>

impl<'tcx> QueryConfig for panic_strategy<'tcx>[src]

type Key = CrateNum

type Value = PanicStrategy

type Stored = PanicStrategy

impl<'tcx> QueryConfig for param_env<'tcx>[src]

type Key = DefId

type Value = ParamEnv<'tcx>

type Stored = ParamEnv<'tcx>

impl<'tcx> QueryConfig for param_env_reveal_all_normalized<'tcx>[src]

type Key = DefId

type Value = ParamEnv<'tcx>

type Stored = ParamEnv<'tcx>

impl<'tcx> QueryConfig for parent_module_from_def_id<'tcx>[src]

type Key = LocalDefId

type Value = LocalDefId

type Stored = LocalDefId

impl<'tcx> QueryConfig for plugin_registrar_fn<'tcx>[src]

type Key = CrateNum

type Value = Option<DefId>

type Stored = Option<DefId>

impl<'tcx> QueryConfig for postorder_cnums<'tcx>[src]

type Key = CrateNum

type Value = &'tcx [CrateNum]

type Stored = &'tcx [CrateNum]

impl<'tcx> QueryConfig for predicates_defined_on<'tcx>[src]

type Key = DefId

type Value = GenericPredicates<'tcx>

type Stored = GenericPredicates<'tcx>

impl<'tcx> QueryConfig for predicates_of<'tcx>[src]

type Key = DefId

type Value = GenericPredicates<'tcx>

type Stored = GenericPredicates<'tcx>

impl<'tcx> QueryConfig for privacy_access_levels<'tcx>[src]

type Key = CrateNum

type Value = &'tcx AccessLevels

type Stored = &'tcx AccessLevels<HirId>

impl<'tcx> QueryConfig for proc_macro_decls_static<'tcx>[src]

type Key = CrateNum

type Value = Option<DefId>

type Stored = Option<DefId>

impl<'tcx> QueryConfig for projection_ty_from_predicates<'tcx>[src]

type Key = (DefId, DefId)

type Value = Option<ProjectionTy<'tcx>>

type Stored = Option<ProjectionTy<'tcx>>

impl<'tcx> QueryConfig for promoted_mir<'tcx>[src]

type Key = DefId

type Value = &'tcx IndexVec<Promoted, Body<'tcx>>

type Stored = &'tcx IndexVec<Promoted, Body<'tcx>>

impl<'tcx> QueryConfig for promoted_mir_of_const_arg<'tcx>[src]

type Key = (LocalDefId, DefId)

type Value = &'tcx IndexVec<Promoted, Body<'tcx>>

type Stored = &'tcx IndexVec<Promoted, Body<'tcx>>

impl<'tcx> QueryConfig for reachable_non_generics<'tcx>[src]

impl<'tcx> QueryConfig for reachable_set<'tcx>[src]

type Key = CrateNum

type Value = FxHashSet<LocalDefId>

type Stored = &'tcx HashSet<LocalDefId, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for region_scope_tree<'tcx>[src]

type Key = DefId

type Value = &'tcx ScopeTree

type Stored = &'tcx ScopeTree

impl<'tcx> QueryConfig for rendered_const<'tcx>[src]

type Key = DefId

type Value = String

type Stored = String

impl<'tcx> QueryConfig for resolve_instance<'tcx>[src]

type Key = ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>

type Value = Result<Option<Instance<'tcx>>, ErrorReported>

type Stored = Result<Option<Instance<'tcx>>, ErrorReported>

impl<'tcx> QueryConfig for resolve_instance_of_const_arg<'tcx>[src]

type Key = ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>

type Value = Result<Option<Instance<'tcx>>, ErrorReported>

type Stored = Result<Option<Instance<'tcx>>, ErrorReported>

impl<'tcx> QueryConfig for resolve_lifetimes<'tcx>[src]

type Key = CrateNum

type Value = ResolveLifetimes

type Stored = &'tcx ResolveLifetimes

impl<'tcx> QueryConfig for specialization_graph_of<'tcx>[src]

type Key = DefId

type Value = Graph

type Stored = &'tcx Graph

impl<'tcx> QueryConfig for specializes<'tcx>[src]

type Key = (DefId, DefId)

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for stability_index<'tcx>[src]

type Key = CrateNum

type Value = Index<'tcx>

type Stored = &'tcx Index<'tcx>

impl<'tcx> QueryConfig for static_mutability<'tcx>[src]

type Key = DefId

type Value = Option<Mutability>

type Stored = Option<Mutability>

impl<'tcx> QueryConfig for subst_and_check_impossible_predicates<'tcx>[src]

type Key = (DefId, SubstsRef<'tcx>)

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for super_predicates_of<'tcx>[src]

type Key = DefId

type Value = GenericPredicates<'tcx>

type Stored = GenericPredicates<'tcx>

impl<'tcx> QueryConfig for supported_target_features<'tcx>[src]

type Key = CrateNum

type Value = FxHashMap<String, Option<Symbol>>

type Stored = &'tcx HashMap<String, Option<Symbol>, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for symbol_mangling_version<'tcx>[src]

impl<'tcx> QueryConfig for symbol_name<'tcx>[src]

type Key = Instance<'tcx>

type Value = SymbolName<'tcx>

type Stored = SymbolName<'tcx>

impl<'tcx> QueryConfig for trait_def<'tcx>[src]

type Key = DefId

type Value = TraitDef

type Stored = &'tcx TraitDef

impl<'tcx> QueryConfig for trait_explicit_predicates_and_bounds<'tcx>[src]

type Key = LocalDefId

type Value = GenericPredicates<'tcx>

type Stored = GenericPredicates<'tcx>

impl<'tcx> QueryConfig for trait_impls_of<'tcx>[src]

type Key = DefId

type Value = TraitImpls

type Stored = &'tcx TraitImpls

impl<'tcx> QueryConfig for trait_of_item<'tcx>[src]

type Key = DefId

type Value = Option<DefId>

type Stored = Option<DefId>

impl<'tcx> QueryConfig for trigger_delay_span_bug<'tcx>[src]

type Key = DefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for trimmed_def_paths<'tcx>[src]

type Key = CrateNum

type Value = FxHashMap<DefId, Symbol>

type Stored = &'tcx HashMap<DefId, Symbol, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for try_unify_abstract_consts<'tcx>[src]

impl<'tcx> QueryConfig for type_implements_trait<'tcx>[src]

type Key = (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)

type Value = bool

type Stored = bool

impl<'tcx> QueryConfig for type_of<'tcx>[src]

type Key = DefId

type Value = Ty<'tcx>

type Stored = &'tcx TyS<'tcx>

impl<'tcx> QueryConfig for type_op_ascribe_user_type<'tcx>[src]

type Key = CanonicalTypeOpAscribeUserTypeGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

impl<'tcx> QueryConfig for type_op_eq<'tcx>[src]

type Key = CanonicalTypeOpEqGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

impl<'tcx> QueryConfig for type_op_normalize_fn_sig<'tcx>[src]

type Key = CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>

impl<'tcx> QueryConfig for type_op_normalize_poly_fn_sig<'tcx>[src]

type Key = CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Binder<FnSig<'tcx>>>>, NoSolution>

impl<'tcx> QueryConfig for type_op_normalize_predicate<'tcx>[src]

type Key = CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>

impl<'tcx> QueryConfig for type_op_normalize_ty<'tcx>[src]

type Key = CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, &'tcx TyS<'tcx>>>, NoSolution>

impl<'tcx> QueryConfig for type_op_prove_predicate<'tcx>[src]

type Key = CanonicalTypeOpProvePredicateGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

impl<'tcx> QueryConfig for type_op_subtype<'tcx>[src]

type Key = CanonicalTypeOpSubtypeGoal<'tcx>

type Value = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type Stored = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

impl<'tcx> QueryConfig for type_param_predicates<'tcx>[src]

type Key = (DefId, LocalDefId)

type Value = GenericPredicates<'tcx>

type Stored = GenericPredicates<'tcx>

impl<'tcx> QueryConfig for typeck<'tcx>[src]

type Key = LocalDefId

type Value = &'tcx TypeckResults<'tcx>

type Stored = &'tcx TypeckResults<'tcx>

impl<'tcx> QueryConfig for typeck_const_arg<'tcx>[src]

type Key = (LocalDefId, DefId)

type Value = &'tcx TypeckResults<'tcx>

type Stored = &'tcx TypeckResults<'tcx>

impl<'tcx> QueryConfig for typeck_item_bodies<'tcx>[src]

type Key = CrateNum

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for unsafe_derive_on_repr_packed<'tcx>[src]

type Key = LocalDefId

type Value = ()

type Stored = ()

impl<'tcx> QueryConfig for unsafety_check_result<'tcx>[src]

type Key = LocalDefId

type Value = &'tcx UnsafetyCheckResult

type Stored = &'tcx UnsafetyCheckResult

impl<'tcx> QueryConfig for unsafety_check_result_for_const_arg<'tcx>[src]

type Key = (LocalDefId, DefId)

type Value = &'tcx UnsafetyCheckResult

type Stored = &'tcx UnsafetyCheckResult

impl<'tcx> QueryConfig for unused_generic_params<'tcx>[src]

type Key = DefId

type Value = FiniteBitSet<u32>

type Stored = FiniteBitSet<u32>

impl<'tcx> QueryConfig for upstream_drop_glue_for<'tcx>[src]

type Key = SubstsRef<'tcx>

type Value = Option<CrateNum>

type Stored = Option<CrateNum>

impl<'tcx> QueryConfig for upstream_monomorphizations<'tcx>[src]

type Key = CrateNum

type Value = DefIdMap<FxHashMap<SubstsRef<'tcx>, CrateNum>>

type Stored = &'tcx HashMap<DefId, HashMap<&'tcx List<GenericArg<'tcx>>, CrateNum, BuildHasherDefault<FxHasher>>, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for upstream_monomorphizations_for<'tcx>[src]

type Key = DefId

type Value = Option<&'tcx FxHashMap<SubstsRef<'tcx>, CrateNum>>

type Stored = Option<&'tcx HashMap<&'tcx List<GenericArg<'tcx>>, CrateNum, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryConfig for upvars_mentioned<'tcx>[src]

type Key = DefId

type Value = Option<&'tcx FxIndexMap<HirId, Upvar>>

type Stored = Option<&'tcx IndexMap<HirId, Upvar, BuildHasherDefault<FxHasher>>>

impl<'tcx> QueryConfig for used_crate_source<'tcx>[src]

type Key = CrateNum

type Value = Lrc<CrateSource>

type Stored = Rc<CrateSource>

impl<'tcx> QueryConfig for used_trait_imports<'tcx>[src]

type Key = LocalDefId

type Value = &'tcx FxHashSet<LocalDefId>

type Stored = &'tcx HashSet<LocalDefId, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for variances_of<'tcx>[src]

type Key = DefId

type Value = &'tcx [Variance]

type Stored = &'tcx [Variance]

impl<'tcx> QueryConfig for visibility<'tcx>[src]

type Key = DefId

type Value = Visibility

type Stored = Visibility

impl<'tcx> QueryConfig for visible_parent_map<'tcx>[src]

type Key = CrateNum

type Value = DefIdMap<DefId>

type Stored = &'tcx HashMap<DefId, DefId, BuildHasherDefault<FxHasher>>

impl<'tcx> QueryConfig for vtable_methods<'tcx>[src]

type Key = PolyTraitRef<'tcx>

type Value = &'tcx [Option<(DefId, SubstsRef<'tcx>)>]

type Stored = &'tcx [Option<(DefId, &'tcx List<GenericArg<'tcx>>)>]

impl<'tcx> QueryConfig for wasm_import_module_map<'tcx>[src]

type Key = CrateNum

type Value = FxHashMap<DefId, String>

type Stored = &'tcx HashMap<DefId, String, BuildHasherDefault<FxHasher>>

Loading content...