Struct rustc_middle::query::QueryEngine

pub struct QueryEngine {

    pub trigger_span_delayed_bug: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub registered_tools: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx RegisteredTools>>,
    pub early_lint_checks: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub resolutions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ResolverGlobalCtxt>>,
    pub resolver_for_lowering: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<(ResolverAstLowering, Lrc<Crate>)>>>,
    pub source_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Span>>,
    pub hir_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Crate<'tcx>>>,
    pub hir_crate_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ModuleItems>>,
    pub hir_module_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ModuleItems>>,
    pub opt_local_def_id_to_hir_id: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<HirId>>>,
    pub hir_owner_parent: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<HirId>>,
    pub opt_hir_owner_nodes: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx OwnerNodes<'tcx>>>>,
    pub hir_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx AttributeMap<'tcx>>>,
    pub const_param_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<Const<'tcx>>>>,
    pub type_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<Ty<'tcx>>>>,
    pub type_of_opaque: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<EarlyBinder<Ty<'tcx>>, CyclePlaceholder>>>,
    pub type_alias_is_lazy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub collect_return_position_impl_trait_in_trait_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx DefIdMap<EarlyBinder<Ty<'tcx>>>, ErrorGuaranteed>>>,
    pub is_type_alias_impl_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub unsizing_params_for_adt: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx BitSet<u32>>>,
    pub analysis: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub check_expectations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub generics_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Generics>>,
    pub predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub opaque_types_defined_by: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx List<LocalDefId>>>,
    pub impl_trait_in_assoc_types_defined_by: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx List<LocalDefId>>>,
    pub explicit_item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<&'tcx [(Clause<'tcx>, Span)]>>>,
    pub item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<&'tcx List<Clause<'tcx>>>>>,
    pub native_libraries: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<NativeLib>>>,
    pub shallow_lint_levels_on: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ShallowLintLevelMap>>,
    pub lint_expectations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<(LintExpectationId, LintExpectation)>>>,
    pub expn_that_defined: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ExpnId>>,
    pub is_panic_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub representability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Representability>>,
    pub representability_adt_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Representability>>,
    pub params_in_repr: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx BitSet<u32>>>,
    pub thir_body: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(&'tcx Steal<Thir<'tcx>>, ExprId), ErrorGuaranteed>>>,
    pub thir_tree: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>,
    pub thir_flat: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>,
    pub mir_keys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexSet<LocalDefId>>>,
    pub mir_const_qualif: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ConstQualifs>>,
    pub mir_built: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<Body<'tcx>>>>,
    pub mir_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<Body<'tcx>>>>,
    pub thir_abstract_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<Option<EarlyBinder<Const<'tcx>>>, ErrorGuaranteed>>>,
    pub mir_drops_elaborated_and_const_checked: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<Body<'tcx>>>>,
    pub mir_for_ctfe: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Body<'tcx>>>,
    pub mir_promoted: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<(&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)>>,
    pub closure_typeinfo: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ClosureTypeInfo<'tcx>>>,
    pub closure_saved_names_of_captured_variables: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx IndexVec<FieldIdx, Symbol>>>,
    pub mir_coroutine_witnesses: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Option<CoroutineLayout<'tcx>>>>,
    pub check_coroutine_obligations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub optimized_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Body<'tcx>>>,
    pub coverage_ids_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CoverageIdsInfo>>,
    pub promoted_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx IndexVec<Promoted, Body<'tcx>>>>,
    pub erase_regions_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Ty<'tcx>>>,
    pub wasm_import_module_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<String>>>,
    pub predicates_defined_on: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub trait_explicit_predicates_and_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub explicit_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub inferred_outlives_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(Clause<'tcx>, Span)]>>,
    pub super_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub implied_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub super_predicates_that_define_assoc_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub type_param_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>,
    pub trait_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TraitDef>>,
    pub adt_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<AdtDef<'tcx>>>,
    pub adt_destructor: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Destructor>>>,
    pub adt_sized_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<&'tcx List<Ty<'tcx>>>>>,
    pub adt_dtorck_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx DropckConstraint<'tcx>, NoSolution>>>,
    pub constness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Constness>>,
    pub asyncness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Asyncness>>,
    pub is_promotable_const_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub coroutine_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<CoroutineKind>>>,
    pub crate_variances: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CrateVariancesMap<'tcx>>>,
    pub variances_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [Variance]>>,
    pub inferred_outlives_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CratePredicatesMap<'tcx>>>,
    pub associated_item_def_ids: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>,
    pub associated_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<AssocItem>>,
    pub associated_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx AssocItems>>,
    pub impl_item_implementor_ids: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<DefId>>>,
    pub associated_types_for_impl_traits_in_associated_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>,
    pub associated_type_for_impl_trait_in_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<LocalDefId>>,
    pub impl_trait_ref: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<EarlyBinder<TraitRef<'tcx>>>>>,
    pub impl_polarity: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ImplPolarity>>,
    pub issue33140_self_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<EarlyBinder<Ty<'tcx>>>>>,
    pub inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx [DefId], ErrorGuaranteed>>>,
    pub incoherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx [DefId], ErrorGuaranteed>>>,
    pub mir_unsafety_check_result: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnsafetyCheckResult>>,
    pub check_unsafety: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub assumed_wf_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(Ty<'tcx>, Span)]>>,
    pub assumed_wf_types_for_rpitit: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(Ty<'tcx>, Span)]>>,
    pub fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<PolyFnSig<'tcx>>>>,
    pub lint_mod: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_unused_traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_mod_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_mod_unstable_api_usage: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_mod_const_bodies: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_mod_loops: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_mod_naked_functions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_mod_privacy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_liveness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub live_symbols_and_ignored_derived_traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx (LocalDefIdSet, LocalDefIdMap<Vec<(DefId, DefId)>>)>>,
    pub check_mod_deathness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub check_mod_impl_wf: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub check_mod_type_wf: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub collect_mod_item_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub coerce_unsized_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<CoerceUnsizedInfo, ErrorGuaranteed>>>,
    pub typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TypeckResults<'tcx>>>,
    pub diagnostic_only_typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TypeckResults<'tcx>>>,
    pub used_trait_imports: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordSet<LocalDefId>>>,
    pub has_typeck_results: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub coherent_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub mir_borrowck: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx BorrowCheckResult<'tcx>>>,
    pub crate_inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx CrateInherentImpls, ErrorGuaranteed>>>,
    pub crate_inherent_impls_overlap_check: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub orphan_check_impl: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub mir_callgraph_reachable: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub mir_inliner_callees: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(DefId, GenericArgsRef<'tcx>)]>>,
    pub eval_to_allocation_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EvalToAllocationRawResult<'tcx>>>,
    pub eval_to_const_value_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EvalToConstValueResult<'tcx>>>,
    pub eval_to_valtree: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EvalToValTreeResult<'tcx>>>,
    pub valtree_to_const_val: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ConstValue<'tcx>>>,
    pub destructure_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<DestructuredConst<'tcx>>>,
    pub lit_to_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<Const<'tcx>, LitToConstError>>>,
    pub check_match: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub effective_visibilities: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx EffectiveVisibilities>>,
    pub check_private_in_public: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub reachable_set: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx LocalDefIdSet>>,
    pub region_scope_tree: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ScopeTree>>,
    pub mir_shims: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Body<'tcx>>>,
    pub symbol_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<SymbolName<'tcx>>>,
    pub def_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<DefKind>>,
    pub def_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Span>>,
    pub def_ident_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Span>>>,
    pub lookup_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Stability>>>,
    pub lookup_const_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<ConstStability>>>,
    pub lookup_default_body_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<DefaultBodyStability>>>,
    pub should_inherit_track_caller: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub lookup_deprecation_entry: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<DeprecationEntry>>>,
    pub is_doc_hidden: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_doc_notable_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub item_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [Attribute]>>,
    pub codegen_fn_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CodegenFnAttrs>>,
    pub asm_target_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexSet<Symbol>>>,
    pub fn_arg_names: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [Ident]>>,
    pub rendered_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>,
    pub impl_parent: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<DefId>>>,
    pub is_ctfe_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub own_existential_vtable_entries: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>,
    pub vtable_entries: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [VtblEntry<'tcx>]>>,
    pub vtable_trait_upcasting_coercion_new_vptr_slot: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<usize>>>,
    pub vtable_allocation: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<AllocId>>,
    pub codegen_select_candidate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx ImplSource<'tcx, ()>, CodegenObligationError>>>,
    pub all_local_trait_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexMap<DefId, Vec<LocalDefId>>>>,
    pub trait_impls_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TraitImpls>>,
    pub specialization_graph_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Graph, ErrorGuaranteed>>>,
    pub object_safety_violations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [ObjectSafetyViolation]>>,
    pub check_is_object_safe: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub param_env: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ParamEnv<'tcx>>>,
    pub param_env_reveal_all_normalized: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ParamEnv<'tcx>>>,
    pub is_copy_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_sized_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_freeze_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_unpin_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub needs_drop_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub has_significant_drop_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub has_structural_eq_impl: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub adt_drop_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>>,
    pub adt_significant_drop_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>>,
    pub layout_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<TyAndLayout<'tcx>, &'tcx LayoutError<'tcx>>>>,
    pub fn_abi_of_fn_ptr: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, &'tcx FnAbiError<'tcx>>>>,
    pub fn_abi_of_instance: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, &'tcx FnAbiError<'tcx>>>>,
    pub dylib_dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(CrateNum, LinkagePreference)]>>,
    pub dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Lrc<Dependencies>>>,
    pub is_compiler_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub has_global_allocator: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub has_alloc_error_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub has_panic_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_profiler_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub has_ffi_unwind_calls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub required_panic_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<PanicStrategy>>>,
    pub panic_in_drop_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<PanicStrategy>>,
    pub is_no_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub symbol_mangling_version: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<SymbolManglingVersion>>,
    pub extern_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx ExternCrate>>>,
    pub specializes: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub in_scope_traits_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx ItemLocalMap<Box<[TraitCandidate]>>>>>,
    pub defaultness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Defaultness>>,
    pub check_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub reachable_non_generics: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<SymbolExportInfo>>>,
    pub is_reachable_non_generic: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_unreachable_local_definition: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub upstream_monomorphizations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<UnordMap<GenericArgsRef<'tcx>, CrateNum>>>>,
    pub upstream_monomorphizations_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx UnordMap<GenericArgsRef<'tcx>, CrateNum>>>>,
    pub upstream_drop_glue_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<CrateNum>>>,
    pub foreign_modules: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexMap<DefId, ForeignModule>>>,
    pub clashing_extern_declarations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>,
    pub entry_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<(DefId, EntryFnType)>>>,
    pub proc_macro_decls_static: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<LocalDefId>>>,
    pub crate_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Svh>>,
    pub crate_host_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Svh>>>,
    pub extra_filename: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>,
    pub crate_extern_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<PathBuf>>>,
    pub implementations_of_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(DefId, Option<SimplifiedType>)]>>,
    pub crate_incoherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx [DefId], ErrorGuaranteed>>>,
    pub native_library: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx NativeLib>>>,
    pub resolve_bound_vars: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ResolveBoundVars>>,
    pub named_variable_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexMap<ItemLocalId, ResolvedArg>>>>,
    pub is_late_bound_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexSet<ItemLocalId>>>>,
    pub object_lifetime_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ObjectLifetimeDefault>>,
    pub late_bound_vars_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexMap<ItemLocalId, Vec<BoundVariableKind>>>>>,
    pub visibility: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Visibility<DefId>>>,
    pub inhabited_predicate_adt: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<InhabitedPredicate<'tcx>>>,
    pub inhabited_predicate_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<InhabitedPredicate<'tcx>>>,
    pub dep_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<CrateDepKind>>,
    pub crate_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Symbol>>,
    pub module_children: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [ModChild]>>,
    pub extern_mod_stmt_cnum: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<CrateNum>>>,
    pub lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx LibFeatures>>,
    pub stability_implications: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordMap<Symbol, Symbol>>>,
    pub is_intrinsic: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub get_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx LanguageItems>>,
    pub all_diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DiagnosticItems>>,
    pub defined_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(DefId, LangItem)]>>,
    pub diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DiagnosticItems>>,
    pub missing_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [LangItem]>>,
    pub visible_parent_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<DefId>>>,
    pub trimmed_def_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<Symbol>>>,
    pub missing_extern_crate_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub used_crate_source: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Lrc<CrateSource>>>,
    pub debugger_visualizers: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<DebuggerVisualizerFile>>>,
    pub postorder_cnums: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [CrateNum]>>,
    pub is_private_dep: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub allocator_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<AllocatorKind>>>,
    pub alloc_error_handler_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<AllocatorKind>>>,
    pub upvars_mentioned: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexMap<HirId, Upvar>>>>,
    pub maybe_unused_trait_imports: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexSet<LocalDefId>>>,
    pub names_imported_by_glob_use: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordSet<Symbol>>>,
    pub stability_index: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Index>>,
    pub crates: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [CrateNum]>>,
    pub traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>,
    pub trait_impls_in_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>,
    pub exported_symbols: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(ExportedSymbol<'tcx>, SymbolExportInfo)]>>,
    pub collect_and_partition_mono_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<(&'tcx DefIdSet, &'tcx [CodegenUnit<'tcx>])>>,
    pub is_codegened_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub codegen_unit: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CodegenUnit<'tcx>>>,
    pub unused_generic_params: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<UnusedGenericParams>>,
    pub backend_optimization_level: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<OptLevel>>,
    pub output_filenames: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Arc<OutputFilenames>>>,
    pub normalize_projection_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>>,
    pub normalize_weak_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>>,
    pub normalize_inherent_projection_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>>,
    pub try_normalize_generic_arg_after_erasing_regions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<GenericArg<'tcx>, NoSolution>>>,
    pub implied_outlives_bounds_compat: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>>>,
    pub implied_outlives_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>>>,
    pub dropck_outlives: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>>>,
    pub evaluate_obligation: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<EvaluationResult, OverflowError>>>,
    pub type_op_ascribe_user_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>,
    pub type_op_eq: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>,
    pub type_op_subtype: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>,
    pub type_op_prove_predicate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>,
    pub type_op_normalize_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>>>,
    pub type_op_normalize_clause: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Clause<'tcx>>>, NoSolution>>>,
    pub type_op_normalize_poly_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>>>,
    pub type_op_normalize_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>>>,
    pub subst_and_check_impossible_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub is_impossible_associated_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub method_autoderef_steps: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<MethodAutoderefStepsResult<'tcx>>>,
    pub supported_target_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordMap<String, Option<Symbol>>>>,
    pub features_query: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Features>>,
    pub crate_for_resolver: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<(Crate, AttrVec)>>>,
    pub resolve_instance: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<Option<Instance<'tcx>>, ErrorGuaranteed>>>,
    pub reveal_opaque_types_in_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx List<Clause<'tcx>>>>,
    pub limits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Limits>>,
    pub diagnostic_hir_wf_check: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Option<ObligationCause<'tcx>>>>,
    pub global_backend_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<String>>>,
    pub check_validity_requirement: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<bool, &'tcx LayoutError<'tcx>>>>,
    pub compare_impl_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>,
    pub deduced_param_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DeducedParamAttrs]>>,
    pub doc_link_resolutions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DocLinkResMap>>,
    pub doc_link_traits_in_scope: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>,
    pub check_tys_might_be_eq: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), NoSolution>>>,
    pub stripped_cfg_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [StrippedCfgItem]>>,
    pub generics_require_sized_self: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
    pub cross_crate_inlinable: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>,
}

Fields

trigger_span_delayed_bug: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

registered_tools: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx RegisteredTools>>

early_lint_checks: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

resolutions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ResolverGlobalCtxt>>

resolver_for_lowering: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<(ResolverAstLowering, Lrc<Crate>)>>>

source_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Span>>

hir_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Crate<'tcx>>>

hir_crate_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ModuleItems>>

hir_module_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ModuleItems>>

opt_local_def_id_to_hir_id: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<HirId>>>

hir_owner_parent: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<HirId>>

opt_hir_owner_nodes: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx OwnerNodes<'tcx>>>>

hir_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx AttributeMap<'tcx>>>

const_param_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<Const<'tcx>>>>

type_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<Ty<'tcx>>>>

type_of_opaque: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<EarlyBinder<Ty<'tcx>>, CyclePlaceholder>>>

type_alias_is_lazy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

collect_return_position_impl_trait_in_trait_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx DefIdMap<EarlyBinder<Ty<'tcx>>>, ErrorGuaranteed>>>

is_type_alias_impl_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

unsizing_params_for_adt: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx BitSet<u32>>>

analysis: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

check_expectations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

generics_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Generics>>

predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

opaque_types_defined_by: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx List<LocalDefId>>>

impl_trait_in_assoc_types_defined_by: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx List<LocalDefId>>>

explicit_item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<&'tcx [(Clause<'tcx>, Span)]>>>

item_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<&'tcx List<Clause<'tcx>>>>>

native_libraries: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<NativeLib>>>

shallow_lint_levels_on: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ShallowLintLevelMap>>

lint_expectations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<(LintExpectationId, LintExpectation)>>>

expn_that_defined: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ExpnId>>

is_panic_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

representability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Representability>>

representability_adt_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Representability>>

params_in_repr: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx BitSet<u32>>>

thir_body: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(&'tcx Steal<Thir<'tcx>>, ExprId), ErrorGuaranteed>>>

thir_tree: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>

thir_flat: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>

mir_keys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexSet<LocalDefId>>>

mir_const_qualif: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ConstQualifs>>

mir_built: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<Body<'tcx>>>>

mir_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<Body<'tcx>>>>

thir_abstract_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<Option<EarlyBinder<Const<'tcx>>>, ErrorGuaranteed>>>

mir_drops_elaborated_and_const_checked: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<Body<'tcx>>>>

mir_for_ctfe: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Body<'tcx>>>

mir_promoted: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<(&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)>>

closure_typeinfo: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ClosureTypeInfo<'tcx>>>

closure_saved_names_of_captured_variables: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx IndexVec<FieldIdx, Symbol>>>

mir_coroutine_witnesses: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Option<CoroutineLayout<'tcx>>>>

check_coroutine_obligations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

optimized_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Body<'tcx>>>

coverage_ids_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CoverageIdsInfo>>

promoted_mir: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx IndexVec<Promoted, Body<'tcx>>>>

erase_regions_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Ty<'tcx>>>

wasm_import_module_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<String>>>

predicates_defined_on: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

trait_explicit_predicates_and_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

explicit_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

inferred_outlives_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(Clause<'tcx>, Span)]>>

super_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

implied_predicates_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

super_predicates_that_define_assoc_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

type_param_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<GenericPredicates<'tcx>>>

trait_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TraitDef>>

adt_def: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<AdtDef<'tcx>>>

adt_destructor: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Destructor>>>

adt_sized_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<&'tcx List<Ty<'tcx>>>>>

adt_dtorck_constraint: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx DropckConstraint<'tcx>, NoSolution>>>

constness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Constness>>

asyncness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Asyncness>>

is_promotable_const_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

coroutine_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<CoroutineKind>>>

crate_variances: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CrateVariancesMap<'tcx>>>

variances_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [Variance]>>

inferred_outlives_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CratePredicatesMap<'tcx>>>

associated_item_def_ids: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>

associated_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<AssocItem>>

associated_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx AssocItems>>

impl_item_implementor_ids: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<DefId>>>

associated_types_for_impl_traits_in_associated_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>

associated_type_for_impl_trait_in_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<LocalDefId>>

impl_trait_ref: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<EarlyBinder<TraitRef<'tcx>>>>>

impl_polarity: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ImplPolarity>>

issue33140_self_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<EarlyBinder<Ty<'tcx>>>>>

inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx [DefId], ErrorGuaranteed>>>

incoherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx [DefId], ErrorGuaranteed>>>

mir_unsafety_check_result: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnsafetyCheckResult>>

check_unsafety: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

assumed_wf_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(Ty<'tcx>, Span)]>>

assumed_wf_types_for_rpitit: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(Ty<'tcx>, Span)]>>

fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EarlyBinder<PolyFnSig<'tcx>>>>

lint_mod: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_unused_traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_mod_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_mod_unstable_api_usage: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_mod_const_bodies: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_mod_loops: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_mod_naked_functions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_mod_privacy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_liveness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

live_symbols_and_ignored_derived_traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx (LocalDefIdSet, LocalDefIdMap<Vec<(DefId, DefId)>>)>>

check_mod_deathness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

check_mod_impl_wf: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

check_mod_type_wf: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

collect_mod_item_types: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

coerce_unsized_info: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<CoerceUnsizedInfo, ErrorGuaranteed>>>

typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TypeckResults<'tcx>>>

diagnostic_only_typeck: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TypeckResults<'tcx>>>

used_trait_imports: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordSet<LocalDefId>>>

has_typeck_results: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

coherent_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

mir_borrowck: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx BorrowCheckResult<'tcx>>>

crate_inherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx CrateInherentImpls, ErrorGuaranteed>>>

crate_inherent_impls_overlap_check: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

orphan_check_impl: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

mir_callgraph_reachable: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

mir_inliner_callees: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(DefId, GenericArgsRef<'tcx>)]>>

eval_to_allocation_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EvalToAllocationRawResult<'tcx>>>

eval_to_const_value_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EvalToConstValueResult<'tcx>>>

eval_to_valtree: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<EvalToValTreeResult<'tcx>>>

valtree_to_const_val: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ConstValue<'tcx>>>

destructure_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<DestructuredConst<'tcx>>>

lit_to_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<Const<'tcx>, LitToConstError>>>

check_match: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

effective_visibilities: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx EffectiveVisibilities>>

check_private_in_public: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

reachable_set: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx LocalDefIdSet>>

region_scope_tree: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ScopeTree>>

mir_shims: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Body<'tcx>>>

symbol_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<SymbolName<'tcx>>>

def_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<DefKind>>

def_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Span>>

def_ident_span: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Span>>>

lookup_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Stability>>>

lookup_const_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<ConstStability>>>

lookup_default_body_stability: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<DefaultBodyStability>>>

should_inherit_track_caller: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

lookup_deprecation_entry: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<DeprecationEntry>>>

is_doc_hidden: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_doc_notable_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

item_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [Attribute]>>

codegen_fn_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CodegenFnAttrs>>

asm_target_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexSet<Symbol>>>

fn_arg_names: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [Ident]>>

rendered_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>

impl_parent: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<DefId>>>

is_ctfe_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_mir_available: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

own_existential_vtable_entries: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>

vtable_entries: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [VtblEntry<'tcx>]>>

vtable_trait_upcasting_coercion_new_vptr_slot: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<usize>>>

vtable_allocation: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<AllocId>>

codegen_select_candidate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx ImplSource<'tcx, ()>, CodegenObligationError>>>

all_local_trait_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexMap<DefId, Vec<LocalDefId>>>>

trait_impls_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx TraitImpls>>

specialization_graph_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Graph, ErrorGuaranteed>>>

object_safety_violations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [ObjectSafetyViolation]>>

check_is_object_safe: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

param_env: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ParamEnv<'tcx>>>

param_env_reveal_all_normalized: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ParamEnv<'tcx>>>

is_copy_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_sized_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_freeze_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_unpin_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

needs_drop_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

has_significant_drop_raw: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

has_structural_eq_impl: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

adt_drop_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>>

adt_significant_drop_tys: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>>

layout_of: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<TyAndLayout<'tcx>, &'tcx LayoutError<'tcx>>>>

fn_abi_of_fn_ptr: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, &'tcx FnAbiError<'tcx>>>>

fn_abi_of_instance: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, &'tcx FnAbiError<'tcx>>>>

dylib_dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(CrateNum, LinkagePreference)]>>

dependency_formats: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Lrc<Dependencies>>>

is_compiler_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

has_global_allocator: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

has_alloc_error_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

has_panic_handler: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_profiler_runtime: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

has_ffi_unwind_calls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

required_panic_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<PanicStrategy>>>

panic_in_drop_strategy: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<PanicStrategy>>

is_no_builtins: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

symbol_mangling_version: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<SymbolManglingVersion>>

extern_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx ExternCrate>>>

specializes: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

in_scope_traits_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx ItemLocalMap<Box<[TraitCandidate]>>>>>

defaultness: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Defaultness>>

check_well_formed: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

reachable_non_generics: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<SymbolExportInfo>>>

is_reachable_non_generic: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_unreachable_local_definition: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

upstream_monomorphizations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<UnordMap<GenericArgsRef<'tcx>, CrateNum>>>>

upstream_monomorphizations_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx UnordMap<GenericArgsRef<'tcx>, CrateNum>>>>

upstream_drop_glue_for: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<CrateNum>>>

foreign_modules: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexMap<DefId, ForeignModule>>>

clashing_extern_declarations: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<()>>

entry_fn: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<(DefId, EntryFnType)>>>

proc_macro_decls_static: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<LocalDefId>>>

crate_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Svh>>

crate_host_hash: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<Svh>>>

extra_filename: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx String>>

crate_extern_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<PathBuf>>>

implementations_of_trait: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(DefId, Option<SimplifiedType>)]>>

crate_incoherent_impls: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx [DefId], ErrorGuaranteed>>>

native_library: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx NativeLib>>>

resolve_bound_vars: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx ResolveBoundVars>>

named_variable_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexMap<ItemLocalId, ResolvedArg>>>>

is_late_bound_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexSet<ItemLocalId>>>>

object_lifetime_default: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<ObjectLifetimeDefault>>

late_bound_vars_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexMap<ItemLocalId, Vec<BoundVariableKind>>>>>

visibility: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Visibility<DefId>>>

inhabited_predicate_adt: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<InhabitedPredicate<'tcx>>>

inhabited_predicate_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<InhabitedPredicate<'tcx>>>

dep_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<CrateDepKind>>

crate_name: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Symbol>>

module_children: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [ModChild]>>

extern_mod_stmt_cnum: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<CrateNum>>>

lib_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx LibFeatures>>

stability_implications: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordMap<Symbol, Symbol>>>

is_intrinsic: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

get_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx LanguageItems>>

all_diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DiagnosticItems>>

defined_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(DefId, LangItem)]>>

diagnostic_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DiagnosticItems>>

missing_lang_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [LangItem]>>

visible_parent_map: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<DefId>>>

trimmed_def_paths: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DefIdMap<Symbol>>>

missing_extern_crate_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

used_crate_source: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Lrc<CrateSource>>>

debugger_visualizers: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<DebuggerVisualizerFile>>>

postorder_cnums: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [CrateNum]>>

is_private_dep: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

allocator_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<AllocatorKind>>>

alloc_error_handler_kind: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<AllocatorKind>>>

upvars_mentioned: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Option<&'tcx FxIndexMap<HirId, Upvar>>>>

maybe_unused_trait_imports: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx FxIndexSet<LocalDefId>>>

names_imported_by_glob_use: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordSet<Symbol>>>

stability_index: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Index>>

crates: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [CrateNum]>>

traits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>

trait_impls_in_crate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>

exported_symbols: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [(ExportedSymbol<'tcx>, SymbolExportInfo)]>>

collect_and_partition_mono_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<(&'tcx DefIdSet, &'tcx [CodegenUnit<'tcx>])>>

is_codegened_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

codegen_unit: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx CodegenUnit<'tcx>>>

unused_generic_params: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<UnusedGenericParams>>

backend_optimization_level: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<OptLevel>>

output_filenames: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Arc<OutputFilenames>>>

normalize_projection_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>>

normalize_weak_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>>

normalize_inherent_projection_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>>

try_normalize_generic_arg_after_erasing_regions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<GenericArg<'tcx>, NoSolution>>>

implied_outlives_bounds_compat: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>>>

implied_outlives_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>>>

dropck_outlives: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>>>

evaluate_obligation: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<EvaluationResult, OverflowError>>>

type_op_ascribe_user_type: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>

type_op_eq: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>

type_op_subtype: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>

type_op_prove_predicate: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>>

type_op_normalize_ty: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>>>

type_op_normalize_clause: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Clause<'tcx>>>, NoSolution>>>

type_op_normalize_poly_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>>>

type_op_normalize_fn_sig: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>>>

subst_and_check_impossible_predicates: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

is_impossible_associated_item: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

method_autoderef_steps: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<MethodAutoderefStepsResult<'tcx>>>

supported_target_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx UnordMap<String, Option<Symbol>>>>

features_query: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Features>>

crate_for_resolver: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Steal<(Crate, AttrVec)>>>

resolve_instance: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<Option<Instance<'tcx>>, ErrorGuaranteed>>>

reveal_opaque_types_in_bounds: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx List<Clause<'tcx>>>>

limits: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Limits>>

diagnostic_hir_wf_check: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Option<ObligationCause<'tcx>>>>

global_backend_features: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx Vec<String>>>

check_validity_requirement: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<bool, &'tcx LayoutError<'tcx>>>>

compare_impl_const: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), ErrorGuaranteed>>>

deduced_param_attrs: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DeducedParamAttrs]>>

doc_link_resolutions: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx DocLinkResMap>>

doc_link_traits_in_scope: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [DefId]>>

check_tys_might_be_eq: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<Result<(), NoSolution>>>

stripped_cfg_items: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<&'tcx [StrippedCfgItem]>>

generics_require_sized_self: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

cross_crate_inlinable: for<'tcx> fn(_: TyCtxt<'tcx>, _: Span, _: Key<'tcx>, _: QueryMode) -> Option<Erase<bool>>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 2288 bytes