[−][src]Struct rustc_middle::ty::query::Providers

pub struct Providers {
    pub trigger_delay_span_bug: fn'tcx(_: TyCtxt<'tcx>, _: DefId),
    pub hir_crate: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx Crate<'tcx>,
    pub index_hir: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx IndexedHir<'tcx>,
    pub hir_module_items: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx ModuleItems,
    pub hir_owner: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx Owner<'tcx>>,
    pub hir_owner_nodes: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx OwnerNodes<'tcx>>,
    pub opt_const_param_of: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<DefId>,
    pub type_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Ty<'tcx>,
    pub analysis: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Result<(), ErrorReported>,
    pub generics_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Generics,
    pub predicates_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>,
    pub explicit_item_bounds: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [(Predicate<'tcx>, Span)],
    pub item_bounds: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx List<Predicate<'tcx>>,
    pub projection_ty_from_predicates: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, DefId)) -> Option<ProjectionTy<'tcx>>,
    pub native_libraries: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<Vec<NativeLib>>,
    pub lint_levels: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> LintLevelMap,
    pub parent_module_from_def_id: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> LocalDefId,
    pub expn_that_defined: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ExpnId,
    pub is_panic_runtime: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> bool,
    pub mir_keys: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashSet<LocalDefId>,
    pub mir_const_qualif: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ConstQualifs,
    pub mir_const_qualif_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> ConstQualifs,
    pub mir_built: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> &'tcx Steal<Body<'tcx>>,
    pub mir_const: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> &'tcx Steal<Body<'tcx>>,
    pub mir_abstract_const: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>,
    pub mir_abstract_const_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>,
    pub try_unify_abstract_consts: fn'tcx(_: TyCtxt<'tcx>, _: ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))) -> bool,
    pub mir_drops_elaborated_and_const_checked: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> &'tcx Steal<Body<'tcx>>,
    pub mir_promoted: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> (&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>),
    pub optimized_mir: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx Body<'tcx>,
    pub optimized_mir_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx Body<'tcx>,
    pub coverageinfo: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> CoverageInfo,
    pub promoted_mir: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx IndexVec<Promoted, Body<'tcx>>,
    pub promoted_mir_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx IndexVec<Promoted, Body<'tcx>>,
    pub erase_regions_ty: fn'tcx(_: TyCtxt<'tcx>, _: Ty<'tcx>) -> Ty<'tcx>,
    pub wasm_import_module_map: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<DefId, String>,
    pub predicates_defined_on: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>,
    pub trait_explicit_predicates_and_bounds: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> GenericPredicates<'tcx>,
    pub explicit_predicates_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>,
    pub inferred_outlives_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [(Predicate<'tcx>, Span)],
    pub super_predicates_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>,
    pub type_param_predicates: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, LocalDefId)) -> GenericPredicates<'tcx>,
    pub trait_def: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> TraitDef,
    pub adt_def: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx AdtDef,
    pub adt_destructor: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<Destructor>,
    pub adt_sized_constraint: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> AdtSizedConstraint<'tcx>,
    pub adt_dtorck_constraint: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Result<DtorckConstraint<'tcx>, NoSolution>,
    pub is_const_fn_raw: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub is_const_impl_raw: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub asyncness: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> IsAsync,
    pub is_promotable_const_fn: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub is_foreign_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub static_mutability: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<Mutability>,
    pub generator_kind: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<GeneratorKind>,
    pub crate_variances: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateVariancesMap<'tcx>,
    pub variances_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Variance],
    pub inferred_outlives_crate: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CratePredicatesMap<'tcx>,
    pub associated_item_def_ids: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [DefId],
    pub associated_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> AssocItem,
    pub associated_items: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> AssociatedItems<'tcx>,
    pub impl_trait_ref: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<TraitRef<'tcx>>,
    pub impl_polarity: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ImplPolarity,
    pub issue33140_self_ty: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<Ty<'tcx>>,
    pub inherent_impls: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [DefId],
    pub unsafety_check_result: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx UnsafetyCheckResult,
    pub unsafety_check_result_for_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx UnsafetyCheckResult,
    pub unsafe_derive_on_repr_packed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub fn_sig: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> PolyFnSig<'tcx>,
    pub lint_mod: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_attrs: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_unstable_api_usage: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_const_bodies: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_loops: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_item_types: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_privacy: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_intrinsics: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_liveness: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_mod_impl_wf: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub collect_mod_item_types: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub coerce_unsized_info: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> CoerceUnsizedInfo,
    pub typeck_item_bodies: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum),
    pub typeck: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx TypeckResults<'tcx>,
    pub typeck_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx TypeckResults<'tcx>,
    pub diagnostic_only_typeck: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx TypeckResults<'tcx>,
    pub used_trait_imports: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx FxHashSet<LocalDefId>,
    pub has_typeck_results: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub coherent_trait: fn'tcx(_: TyCtxt<'tcx>, _: DefId),
    pub mir_borrowck: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx BorrowCheckResult<'tcx>,
    pub mir_borrowck_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx BorrowCheckResult<'tcx>,
    pub crate_inherent_impls: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateInherentImpls,
    pub crate_inherent_impls_overlap_check: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum),
    pub eval_to_allocation_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, GlobalId<'tcx>>) -> EvalToAllocationRawResult<'tcx>,
    pub eval_to_const_value_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, GlobalId<'tcx>>) -> EvalToConstValueResult<'tcx>,
    pub destructure_const: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>) -> DestructuredConst<'tcx>,
    pub deref_const: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>) -> &'tcx Const<'tcx>,
    pub const_caller_location: fn'tcx(_: TyCtxt<'tcx>, _: (Symbol, u32, u32)) -> ConstValue<'tcx>,
    pub lit_to_const: fn'tcx(_: TyCtxt<'tcx>, _: LitToConstInput<'tcx>) -> Result<&'tcx Const<'tcx>, LitToConstError>,
    pub check_match: fn'tcx(_: TyCtxt<'tcx>, _: DefId),
    pub privacy_access_levels: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx AccessLevels,
    pub check_private_in_public: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum),
    pub reachable_set: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashSet<LocalDefId>,
    pub region_scope_tree: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx ScopeTree,
    pub mir_shims: fn'tcx(_: TyCtxt<'tcx>, _: InstanceDef<'tcx>) -> Body<'tcx>,
    pub symbol_name: fn'tcx(_: TyCtxt<'tcx>, _: Instance<'tcx>) -> SymbolName<'tcx>,
    pub def_kind: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> DefKind,
    pub def_span: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Span,
    pub lookup_stability: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx Stability>,
    pub lookup_const_stability: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx ConstStability>,
    pub lookup_deprecation_entry: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<DeprecationEntry>,
    pub item_attrs: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Attribute],
    pub codegen_fn_attrs: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> CodegenFnAttrs,
    pub fn_arg_names: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Ident],
    pub rendered_const: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> String,
    pub impl_parent: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<DefId>,
    pub trait_of_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<DefId>,
    pub is_mir_available: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub vtable_methods: fn'tcx(_: TyCtxt<'tcx>, _: PolyTraitRef<'tcx>) -> &'tcx [Option<(DefId, SubstsRef<'tcx>)>],
    pub codegen_fulfill_obligation: fn'tcx(_: TyCtxt<'tcx>, _: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)) -> Result<ImplSource<'tcx, ()>, ErrorReported>,
    pub all_local_trait_impls: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx BTreeMap<DefId, Vec<HirId>>,
    pub trait_impls_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> TraitImpls,
    pub specialization_graph_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Graph,
    pub object_safety_violations: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [ObjectSafetyViolation],
    pub param_env: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ParamEnv<'tcx>,
    pub param_env_reveal_all_normalized: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ParamEnv<'tcx>,
    pub is_copy_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool,
    pub is_sized_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool,
    pub is_freeze_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool,
    pub needs_drop_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool,
    pub has_structural_eq_impls: fn'tcx(_: TyCtxt<'tcx>, _: Ty<'tcx>) -> bool,
    pub adt_drop_tys: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>,
    pub layout_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> Result<&'tcx Layout, LayoutError<'tcx>>,
    pub dylib_dependency_formats: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(CrateNum, LinkagePreference)],
    pub dependency_formats: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<Dependencies>,
    pub is_compiler_builtins: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> bool,
    pub has_global_allocator: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> bool,
    pub has_panic_handler: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> bool,
    pub is_profiler_runtime: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> bool,
    pub panic_strategy: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> PanicStrategy,
    pub is_no_builtins: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> bool,
    pub symbol_mangling_version: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> SymbolManglingVersion,
    pub extern_crate: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx ExternCrate>,
    pub specializes: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, DefId)) -> bool,
    pub in_scope_traits_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashMap<ItemLocalId, StableVec<TraitCandidate>>>,
    pub module_exports: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx [Export<LocalDefId>]>,
    pub impl_defaultness: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Defaultness,
    pub check_item_well_formed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_trait_item_well_formed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub check_impl_item_well_formed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId),
    pub reachable_non_generics: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> DefIdMap<SymbolExportLevel>,
    pub is_reachable_non_generic: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub is_unreachable_local_definition: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub upstream_monomorphizations: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> DefIdMap<FxHashMap<SubstsRef<'tcx>, CrateNum>>,
    pub upstream_monomorphizations_for: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx FxHashMap<SubstsRef<'tcx>, CrateNum>>,
    pub upstream_drop_glue_for: fn'tcx(_: TyCtxt<'tcx>, _: SubstsRef<'tcx>) -> Option<CrateNum>,
    pub foreign_modules: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<FxHashMap<DefId, ForeignModule>>,
    pub entry_fn: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<(LocalDefId, EntryFnType)>,
    pub plugin_registrar_fn: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<DefId>,
    pub proc_macro_decls_static: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<DefId>,
    pub crate_disambiguator: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateDisambiguator,
    pub crate_hash: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Svh,
    pub crate_host_hash: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<Svh>,
    pub original_crate_name: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Symbol,
    pub extra_filename: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> String,
    pub crate_extern_paths: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Vec<PathBuf>,
    pub implementations_of_trait: fn'tcx(_: TyCtxt<'tcx>, _: (CrateNum, DefId)) -> &'tcx [(DefId, Option<SimplifiedType>)],
    pub all_trait_implementations: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(DefId, Option<SimplifiedType>)],
    pub dllimport_foreign_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashSet<DefId>,
    pub is_dllimport_foreign_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub is_statically_included_foreign_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub native_library_kind: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<NativeLibKind>,
    pub link_args: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<Vec<String>>,
    pub resolve_lifetimes: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> ResolveLifetimes,
    pub named_region_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashMap<ItemLocalId, Region>>,
    pub is_late_bound_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashSet<ItemLocalId>>,
    pub object_lifetime_defaults_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashMap<ItemLocalId, Vec<ObjectLifetimeDefault>>>,
    pub visibility: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Visibility,
    pub dep_kind: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateDepKind,
    pub crate_name: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Symbol,
    pub item_children: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Export<HirId>],
    pub extern_mod_stmt_cnum: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<CrateNum>,
    pub get_lib_features: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> LibFeatures,
    pub defined_lib_features: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(Symbol, Option<Symbol>)],
    pub get_lang_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> LanguageItems,
    pub all_diagnostic_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<Symbol, DefId>,
    pub defined_lang_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(DefId, usize)],
    pub diagnostic_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<Symbol, DefId>,
    pub missing_lang_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [LangItem],
    pub visible_parent_map: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> DefIdMap<DefId>,
    pub trimmed_def_paths: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<DefId, Symbol>,
    pub missing_extern_crate_item: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> bool,
    pub used_crate_source: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<CrateSource>,
    pub postorder_cnums: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [CrateNum],
    pub upvars_mentioned: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx FxIndexMap<HirId, Upvar>>,
    pub maybe_unused_trait_import: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> bool,
    pub maybe_unused_extern_crates: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(LocalDefId, Span)],
    pub names_imported_by_glob_use: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx FxHashSet<Symbol>,
    pub stability_index: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Index<'tcx>,
    pub all_crate_nums: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [CrateNum],
    pub all_traits: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [DefId],
    pub exported_symbols: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(ExportedSymbol<'tcx>, SymbolExportLevel)],
    pub collect_and_partition_mono_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> (&'tcx DefIdSet, &'tcx [CodegenUnit<'tcx>]),
    pub is_codegened_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> bool,
    pub codegen_unit: fn'tcx(_: TyCtxt<'tcx>, _: Symbol) -> &'tcx CodegenUnit<'tcx>,
    pub unused_generic_params: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> FiniteBitSet<u32>,
    pub backend_optimization_level: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> OptLevel,
    pub output_filenames: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Arc<OutputFilenames>,
    pub normalize_projection_ty: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalProjectionGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>,
    pub normalize_generic_arg_after_erasing_regions: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, GenericArg<'tcx>>) -> GenericArg<'tcx>,
    pub implied_outlives_bounds: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTyGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>,
    pub dropck_outlives: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTyGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>,
    pub evaluate_obligation: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalPredicateGoal<'tcx>) -> Result<EvaluationResult, OverflowError>,
    pub evaluate_goal: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalChalkEnvironmentAndGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>,
    pub type_implements_trait: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)) -> bool,
    pub type_op_ascribe_user_type: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpAscribeUserTypeGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>,
    pub type_op_eq: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpEqGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>,
    pub type_op_subtype: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpSubtypeGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>,
    pub type_op_prove_predicate: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpProvePredicateGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>,
    pub type_op_normalize_ty: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>,
    pub type_op_normalize_predicate: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>,
    pub type_op_normalize_poly_fn_sig: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>,
    pub type_op_normalize_fn_sig: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>,
    pub subst_and_check_impossible_predicates: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, SubstsRef<'tcx>)) -> bool,
    pub method_autoderef_steps: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTyGoal<'tcx>) -> MethodAutoderefStepsResult<'tcx>,
    pub supported_target_features: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<String, Option<Symbol>>,
    pub instance_def_size_estimate: fn'tcx(_: TyCtxt<'tcx>, _: InstanceDef<'tcx>) -> usize,
    pub features_query: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx Features,
    pub resolve_instance: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>) -> Result<Option<Instance<'tcx>>, ErrorReported>,
    pub resolve_instance_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>) -> Result<Option<Instance<'tcx>>, ErrorReported>,
    pub normalize_opaque_types: fn'tcx(_: TyCtxt<'tcx>, _: &'tcx List<Predicate<'tcx>>) -> &'tcx List<Predicate<'tcx>>,
}

Fields

trigger_delay_span_bug: fn'tcx(_: TyCtxt<'tcx>, _: DefId)hir_crate: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx Crate<'tcx>index_hir: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx IndexedHir<'tcx>hir_module_items: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx ModuleItemshir_owner: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx Owner<'tcx>>hir_owner_nodes: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx OwnerNodes<'tcx>>opt_const_param_of: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<DefId>type_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Ty<'tcx>analysis: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Result<(), ErrorReported>generics_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Genericspredicates_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>explicit_item_bounds: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [(Predicate<'tcx>, Span)]item_bounds: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx List<Predicate<'tcx>>projection_ty_from_predicates: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, DefId)) -> Option<ProjectionTy<'tcx>>native_libraries: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<Vec<NativeLib>>lint_levels: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> LintLevelMapparent_module_from_def_id: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> LocalDefIdexpn_that_defined: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ExpnIdis_panic_runtime: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> boolmir_keys: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashSet<LocalDefId>mir_const_qualif: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ConstQualifsmir_const_qualif_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> ConstQualifsmir_built: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> &'tcx Steal<Body<'tcx>>mir_const: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> &'tcx Steal<Body<'tcx>>mir_abstract_const: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>

mir_abstract_const_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> Result<Option<&'tcx [Node<'tcx>]>, ErrorReported>

try_unify_abstract_consts: fn'tcx(_: TyCtxt<'tcx>, _: ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))) -> bool

mir_drops_elaborated_and_const_checked: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> &'tcx Steal<Body<'tcx>>

mir_promoted: fn'tcx(_: TyCtxt<'tcx>, _: WithOptConstParam<LocalDefId>) -> (&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)

optimized_mir: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx Body<'tcx>optimized_mir_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx Body<'tcx>coverageinfo: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> CoverageInfopromoted_mir: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx IndexVec<Promoted, Body<'tcx>>promoted_mir_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx IndexVec<Promoted, Body<'tcx>>erase_regions_ty: fn'tcx(_: TyCtxt<'tcx>, _: Ty<'tcx>) -> Ty<'tcx>wasm_import_module_map: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<DefId, String>predicates_defined_on: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>trait_explicit_predicates_and_bounds: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> GenericPredicates<'tcx>explicit_predicates_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>inferred_outlives_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [(Predicate<'tcx>, Span)]super_predicates_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> GenericPredicates<'tcx>type_param_predicates: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, LocalDefId)) -> GenericPredicates<'tcx>trait_def: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> TraitDefadt_def: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx AdtDefadt_destructor: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<Destructor>adt_sized_constraint: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> AdtSizedConstraint<'tcx>adt_dtorck_constraint: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Result<DtorckConstraint<'tcx>, NoSolution>is_const_fn_raw: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolis_const_impl_raw: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolasyncness: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> IsAsyncis_promotable_const_fn: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolis_foreign_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolstatic_mutability: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<Mutability>generator_kind: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<GeneratorKind>crate_variances: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateVariancesMap<'tcx>variances_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Variance]inferred_outlives_crate: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CratePredicatesMap<'tcx>associated_item_def_ids: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [DefId]associated_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> AssocItemassociated_items: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> AssociatedItems<'tcx>impl_trait_ref: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<TraitRef<'tcx>>impl_polarity: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ImplPolarityissue33140_self_ty: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<Ty<'tcx>>inherent_impls: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [DefId]unsafety_check_result: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx UnsafetyCheckResultunsafety_check_result_for_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx UnsafetyCheckResultunsafe_derive_on_repr_packed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)fn_sig: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> PolyFnSig<'tcx>lint_mod: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_attrs: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_unstable_api_usage: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_const_bodies: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_loops: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_item_types: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_privacy: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_intrinsics: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_liveness: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_mod_impl_wf: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)collect_mod_item_types: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)coerce_unsized_info: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> CoerceUnsizedInfotypeck_item_bodies: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum)typeck: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx TypeckResults<'tcx>typeck_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx TypeckResults<'tcx>diagnostic_only_typeck: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx TypeckResults<'tcx>used_trait_imports: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx FxHashSet<LocalDefId>has_typeck_results: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolcoherent_trait: fn'tcx(_: TyCtxt<'tcx>, _: DefId)mir_borrowck: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx BorrowCheckResult<'tcx>mir_borrowck_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: (LocalDefId, DefId)) -> &'tcx BorrowCheckResult<'tcx>crate_inherent_impls: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateInherentImplscrate_inherent_impls_overlap_check: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum)eval_to_allocation_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, GlobalId<'tcx>>) -> EvalToAllocationRawResult<'tcx>eval_to_const_value_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, GlobalId<'tcx>>) -> EvalToConstValueResult<'tcx>destructure_const: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>) -> DestructuredConst<'tcx>deref_const: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>) -> &'tcx Const<'tcx>const_caller_location: fn'tcx(_: TyCtxt<'tcx>, _: (Symbol, u32, u32)) -> ConstValue<'tcx>lit_to_const: fn'tcx(_: TyCtxt<'tcx>, _: LitToConstInput<'tcx>) -> Result<&'tcx Const<'tcx>, LitToConstError>check_match: fn'tcx(_: TyCtxt<'tcx>, _: DefId)privacy_access_levels: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx AccessLevelscheck_private_in_public: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum)reachable_set: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashSet<LocalDefId>region_scope_tree: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx ScopeTreemir_shims: fn'tcx(_: TyCtxt<'tcx>, _: InstanceDef<'tcx>) -> Body<'tcx>symbol_name: fn'tcx(_: TyCtxt<'tcx>, _: Instance<'tcx>) -> SymbolName<'tcx>def_kind: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> DefKinddef_span: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Spanlookup_stability: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx Stability>lookup_const_stability: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx ConstStability>lookup_deprecation_entry: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<DeprecationEntry>item_attrs: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Attribute]codegen_fn_attrs: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> CodegenFnAttrsfn_arg_names: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Ident]rendered_const: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Stringimpl_parent: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<DefId>trait_of_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<DefId>is_mir_available: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolvtable_methods: fn'tcx(_: TyCtxt<'tcx>, _: PolyTraitRef<'tcx>) -> &'tcx [Option<(DefId, SubstsRef<'tcx>)>]

codegen_fulfill_obligation: fn'tcx(_: TyCtxt<'tcx>, _: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)) -> Result<ImplSource<'tcx, ()>, ErrorReported>

all_local_trait_impls: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx BTreeMap<DefId, Vec<HirId>>trait_impls_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> TraitImplsspecialization_graph_of: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Graphobject_safety_violations: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [ObjectSafetyViolation]param_env: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ParamEnv<'tcx>param_env_reveal_all_normalized: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> ParamEnv<'tcx>is_copy_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> boolis_sized_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> boolis_freeze_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> boolneeds_drop_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> boolhas_structural_eq_impls: fn'tcx(_: TyCtxt<'tcx>, _: Ty<'tcx>) -> booladt_drop_tys: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>layout_raw: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, Ty<'tcx>>) -> Result<&'tcx Layout, LayoutError<'tcx>>dylib_dependency_formats: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(CrateNum, LinkagePreference)]dependency_formats: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<Dependencies>is_compiler_builtins: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> boolhas_global_allocator: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> boolhas_panic_handler: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> boolis_profiler_runtime: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> boolpanic_strategy: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> PanicStrategyis_no_builtins: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> boolsymbol_mangling_version: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> SymbolManglingVersionextern_crate: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx ExternCrate>specializes: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, DefId)) -> bool

in_scope_traits_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashMap<ItemLocalId, StableVec<TraitCandidate>>>

module_exports: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx [Export<LocalDefId>]>impl_defaultness: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Defaultnesscheck_item_well_formed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_trait_item_well_formed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)check_impl_item_well_formed: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId)reachable_non_generics: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> DefIdMap<SymbolExportLevel>is_reachable_non_generic: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolis_unreachable_local_definition: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolupstream_monomorphizations: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> DefIdMap<FxHashMap<SubstsRef<'tcx>, CrateNum>>upstream_monomorphizations_for: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx FxHashMap<SubstsRef<'tcx>, CrateNum>>upstream_drop_glue_for: fn'tcx(_: TyCtxt<'tcx>, _: SubstsRef<'tcx>) -> Option<CrateNum>foreign_modules: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<FxHashMap<DefId, ForeignModule>>entry_fn: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<(LocalDefId, EntryFnType)>plugin_registrar_fn: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<DefId>proc_macro_decls_static: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<DefId>crate_disambiguator: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateDisambiguatorcrate_hash: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Svhcrate_host_hash: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Option<Svh>original_crate_name: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Symbolextra_filename: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Stringcrate_extern_paths: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Vec<PathBuf>implementations_of_trait: fn'tcx(_: TyCtxt<'tcx>, _: (CrateNum, DefId)) -> &'tcx [(DefId, Option<SimplifiedType>)]all_trait_implementations: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(DefId, Option<SimplifiedType>)]dllimport_foreign_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashSet<DefId>is_dllimport_foreign_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolis_statically_included_foreign_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolnative_library_kind: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<NativeLibKind>link_args: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<Vec<String>>resolve_lifetimes: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> ResolveLifetimesnamed_region_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashMap<ItemLocalId, Region>>is_late_bound_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashSet<ItemLocalId>>

object_lifetime_defaults_map: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<&'tcx FxHashMap<ItemLocalId, Vec<ObjectLifetimeDefault>>>

visibility: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Visibilitydep_kind: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> CrateDepKindcrate_name: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Symbolitem_children: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> &'tcx [Export<HirId>]extern_mod_stmt_cnum: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> Option<CrateNum>get_lib_features: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> LibFeaturesdefined_lib_features: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(Symbol, Option<Symbol>)]get_lang_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> LanguageItemsall_diagnostic_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<Symbol, DefId>defined_lang_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(DefId, usize)]diagnostic_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<Symbol, DefId>missing_lang_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [LangItem]visible_parent_map: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> DefIdMap<DefId>trimmed_def_paths: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<DefId, Symbol>missing_extern_crate_item: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> boolused_crate_source: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Lrc<CrateSource>postorder_cnums: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [CrateNum]upvars_mentioned: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> Option<&'tcx FxIndexMap<HirId, Upvar>>maybe_unused_trait_import: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> boolmaybe_unused_extern_crates: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(LocalDefId, Span)]names_imported_by_glob_use: fn'tcx(_: TyCtxt<'tcx>, _: LocalDefId) -> &'tcx FxHashSet<Symbol>stability_index: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Index<'tcx>all_crate_nums: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [CrateNum]all_traits: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [DefId]exported_symbols: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx [(ExportedSymbol<'tcx>, SymbolExportLevel)]collect_and_partition_mono_items: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> (&'tcx DefIdSet, &'tcx [CodegenUnit<'tcx>])is_codegened_item: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> boolcodegen_unit: fn'tcx(_: TyCtxt<'tcx>, _: Symbol) -> &'tcx CodegenUnit<'tcx>unused_generic_params: fn'tcx(_: TyCtxt<'tcx>, _: DefId) -> FiniteBitSet<u32>backend_optimization_level: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> OptLeveloutput_filenames: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> Arc<OutputFilenames>

normalize_projection_ty: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalProjectionGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>

normalize_generic_arg_after_erasing_regions: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, GenericArg<'tcx>>) -> GenericArg<'tcx>

implied_outlives_bounds: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTyGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>

dropck_outlives: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTyGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>

evaluate_obligation: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalPredicateGoal<'tcx>) -> Result<EvaluationResult, OverflowError>

evaluate_goal: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalChalkEnvironmentAndGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type_implements_trait: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)) -> bool

type_op_ascribe_user_type: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpAscribeUserTypeGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type_op_eq: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpEqGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type_op_subtype: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpSubtypeGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type_op_prove_predicate: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpProvePredicateGoal<'tcx>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>

type_op_normalize_ty: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>

type_op_normalize_predicate: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>

type_op_normalize_poly_fn_sig: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>

type_op_normalize_fn_sig: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>

subst_and_check_impossible_predicates: fn'tcx(_: TyCtxt<'tcx>, _: (DefId, SubstsRef<'tcx>)) -> boolmethod_autoderef_steps: fn'tcx(_: TyCtxt<'tcx>, _: CanonicalTyGoal<'tcx>) -> MethodAutoderefStepsResult<'tcx>supported_target_features: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> FxHashMap<String, Option<Symbol>>instance_def_size_estimate: fn'tcx(_: TyCtxt<'tcx>, _: InstanceDef<'tcx>) -> usizefeatures_query: fn'tcx(_: TyCtxt<'tcx>, _: CrateNum) -> &'tcx Features

resolve_instance: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>) -> Result<Option<Instance<'tcx>>, ErrorReported>

resolve_instance_of_const_arg: fn'tcx(_: TyCtxt<'tcx>, _: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>) -> Result<Option<Instance<'tcx>>, ErrorReported>

normalize_opaque_types: fn'tcx(_: TyCtxt<'tcx>, _: &'tcx List<Predicate<'tcx>>) -> &'tcx List<Predicate<'tcx>>

Trait Implementations

`impl Clone for Providers`[src]

`pub fn clone(&self) -> Self`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for Providers`[src]

`impl Default for Providers`[src]

`pub fn default() -> Self`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Providers`

`impl Send for Providers`

`impl Sync for Providers`

`impl Unpin for Providers`

`impl UnwindSafe for Providers`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where T: Copy,` [src]

`pub fn allocate_on(Self, &'a Arena<'tcx>) -> &'a mut T`[src]

`pub fn allocate_from_iter( &'a Arena<'tcx>, impl IntoIterator<Item = T> ) -> &'a mut [T]`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<'a, T> Captures<'a> for T where T: ?Sized,` [src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> MaybeResult<T> for T`[src]

`type Error = !`

`pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T`[src]

`pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

[−][src]Struct rustc_middle::ty::query::Providers

Fields

Trait Implementations

impl Clone for Providers[src]

pub fn clone(&self) -> Self[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Copy for Providers[src]

impl Default for Providers[src]

pub fn default() -> Self[src]

Auto Trait Implementations

impl RefUnwindSafe for Providers

impl Send for Providers

impl Sync for Providers

impl Unpin for Providers

impl UnwindSafe for Providers

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where T: Copy, [src]

pub fn allocate_on(Self, &'a Arena<'tcx>) -> &'a mut T[src]

pub fn allocate_from_iter( &'a Arena<'tcx>, impl IntoIterator<Item = T>) -> &'a mut [T][src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<'a, T> Captures<'a> for T where T: ?Sized, [src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> MaybeResult<T> for T[src]

type Error = !

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T[src]

pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<T> WithConstness for T[src]

pub fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

pub fn with_const(self) -> ConstnessAnd<Self>[src]

pub fn without_const(self) -> ConstnessAnd<Self>[src]