pub trait QueryEngine<'tcx>: Sync {
Show 300 methods // Required methods fn as_any(&'tcx self) -> &'tcx dyn Any; fn try_mark_green(&'tcx self, tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> bool; fn trigger_delay_span_bug( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trigger_delay_span_bug<'tcx>, mode: QueryMode ) -> Option<()>; fn registered_tools( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: registered_tools<'tcx>, mode: QueryMode ) -> Option<&'tcx RegisteredTools>; fn early_lint_checks( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: early_lint_checks<'tcx>, mode: QueryMode ) -> Option<()>; fn resolutions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolutions<'tcx>, mode: QueryMode ) -> Option<&'tcx ResolverGlobalCtxt>; fn resolver_for_lowering( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolver_for_lowering<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<(ResolverAstLowering, Lrc<Crate>)>>; fn source_span( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: source_span<'tcx>, mode: QueryMode ) -> Option<Span>; fn hir_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx Crate<'tcx>>; fn hir_crate_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_crate_items<'tcx>, mode: QueryMode ) -> Option<&'tcx ModuleItems>; fn hir_module_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_module_items<'tcx>, mode: QueryMode ) -> Option<&'tcx ModuleItems>; fn hir_owner( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_owner<'tcx>, mode: QueryMode ) -> Option<Option<Owner<'tcx>>>; fn opt_local_def_id_to_hir_id( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: opt_local_def_id_to_hir_id<'tcx>, mode: QueryMode ) -> Option<Option<HirId>>; fn hir_owner_parent( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_owner_parent<'tcx>, mode: QueryMode ) -> Option<HirId>; fn hir_owner_nodes( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_owner_nodes<'tcx>, mode: QueryMode ) -> Option<MaybeOwner<&'tcx OwnerNodes<'tcx>>>; fn hir_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx AttributeMap<'tcx>>; fn opt_const_param_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: opt_const_param_of<'tcx>, mode: QueryMode ) -> Option<Option<DefId>>; fn const_param_default( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: const_param_default<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<Const<'tcx>>>; fn type_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_of<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<Ty<'tcx>>>; fn collect_return_position_impl_trait_in_trait_tys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: collect_return_position_impl_trait_in_trait_tys<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx FxHashMap<DefId, Ty<'tcx>>, ErrorGuaranteed>>; fn is_type_alias_impl_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_type_alias_impl_trait<'tcx>, mode: QueryMode ) -> Option<bool>; fn unsizing_params_for_adt( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unsizing_params_for_adt<'tcx>, mode: QueryMode ) -> Option<&'tcx BitSet<u32>>; fn analysis( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: analysis<'tcx>, mode: QueryMode ) -> Option<Result<(), ErrorGuaranteed>>; fn check_expectations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_expectations<'tcx>, mode: QueryMode ) -> Option<()>; fn generics_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: generics_of<'tcx>, mode: QueryMode ) -> Option<&'tcx Generics>; fn predicates_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: predicates_of<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>; fn explicit_item_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: explicit_item_bounds<'tcx>, mode: QueryMode ) -> Option<&'tcx [(Predicate<'tcx>, Span)]>; fn item_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: item_bounds<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<&'tcx List<Predicate<'tcx>>>>; fn native_libraries( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: native_libraries<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<NativeLib>>; fn shallow_lint_levels_on( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: shallow_lint_levels_on<'tcx>, mode: QueryMode ) -> Option<&'tcx ShallowLintLevelMap>; fn lint_expectations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lint_expectations<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<(LintExpectationId, LintExpectation)>>; fn parent_module_from_def_id( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: parent_module_from_def_id<'tcx>, mode: QueryMode ) -> Option<LocalDefId>; fn expn_that_defined( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: expn_that_defined<'tcx>, mode: QueryMode ) -> Option<ExpnId>; fn is_panic_runtime( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_panic_runtime<'tcx>, mode: QueryMode ) -> Option<bool>; fn representability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: representability<'tcx>, mode: QueryMode ) -> Option<Representability>; fn representability_adt_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: representability_adt_ty<'tcx>, mode: QueryMode ) -> Option<Representability>; fn params_in_repr( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: params_in_repr<'tcx>, mode: QueryMode ) -> Option<&'tcx BitSet<u32>>; fn thir_body( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_body<'tcx>, mode: QueryMode ) -> Option<Result<(&'tcx Steal<Thir<'tcx>>, ExprId), ErrorGuaranteed>>; fn thir_tree( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_tree<'tcx>, mode: QueryMode ) -> Option<&'tcx String>; fn thir_flat( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_flat<'tcx>, mode: QueryMode ) -> Option<&'tcx String>; fn mir_keys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_keys<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexSet<LocalDefId>>; fn mir_const_qualif( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_const_qualif<'tcx>, mode: QueryMode ) -> Option<ConstQualifs>; fn mir_const_qualif_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_const_qualif_const_arg<'tcx>, mode: QueryMode ) -> Option<ConstQualifs>; fn mir_built( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_built<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Body<'tcx>>>; fn mir_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_const<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Body<'tcx>>>; fn thir_abstract_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_abstract_const<'tcx>, mode: QueryMode ) -> Option<Result<Option<Const<'tcx>>, ErrorGuaranteed>>; fn thir_abstract_const_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_abstract_const_of_const_arg<'tcx>, mode: QueryMode ) -> Option<Result<Option<Const<'tcx>>, ErrorGuaranteed>>; fn mir_drops_elaborated_and_const_checked( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_drops_elaborated_and_const_checked<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Body<'tcx>>>; fn mir_for_ctfe( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_for_ctfe<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>; fn mir_for_ctfe_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_for_ctfe_of_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>; fn mir_promoted( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_promoted<'tcx>, mode: QueryMode ) -> Option<(&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)>; fn closure_typeinfo( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: closure_typeinfo<'tcx>, mode: QueryMode ) -> Option<ClosureTypeInfo<'tcx>>; fn mir_generator_witnesses( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_generator_witnesses<'tcx>, mode: QueryMode ) -> Option<&'tcx GeneratorLayout<'tcx>>; fn check_generator_obligations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_generator_obligations<'tcx>, mode: QueryMode ) -> Option<()>; fn optimized_mir( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: optimized_mir<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>; fn coverageinfo( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: coverageinfo<'tcx>, mode: QueryMode ) -> Option<&'tcx CoverageInfo>; fn covered_code_regions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: covered_code_regions<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<&'tcx CodeRegion>>; fn promoted_mir( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: promoted_mir<'tcx>, mode: QueryMode ) -> Option<&'tcx IndexVec<Promoted, Body<'tcx>>>; fn promoted_mir_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: promoted_mir_of_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx IndexVec<Promoted, Body<'tcx>>>; fn erase_regions_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: erase_regions_ty<'tcx>, mode: QueryMode ) -> Option<Ty<'tcx>>; fn wasm_import_module_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: wasm_import_module_map<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<DefId, String>>; fn predicates_defined_on( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: predicates_defined_on<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>; fn trait_explicit_predicates_and_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_explicit_predicates_and_bounds<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>; fn explicit_predicates_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: explicit_predicates_of<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>; fn inferred_outlives_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inferred_outlives_of<'tcx>, mode: QueryMode ) -> Option<&'tcx [(Clause<'tcx>, Span)]>; fn super_predicates_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: super_predicates_of<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>; fn super_predicates_that_define_assoc_type( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: super_predicates_that_define_assoc_type<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>; fn type_param_predicates( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_param_predicates<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>; fn trait_def( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_def<'tcx>, mode: QueryMode ) -> Option<&'tcx TraitDef>; fn adt_def( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_def<'tcx>, mode: QueryMode ) -> Option<AdtDef<'tcx>>; fn adt_destructor( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_destructor<'tcx>, mode: QueryMode ) -> Option<Option<Destructor>>; fn adt_sized_constraint( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_sized_constraint<'tcx>, mode: QueryMode ) -> Option<&'tcx [Ty<'tcx>]>; fn adt_dtorck_constraint( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_dtorck_constraint<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx DropckConstraint<'tcx>, NoSolution>>; fn constness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: constness<'tcx>, mode: QueryMode ) -> Option<Constness>; fn asyncness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: asyncness<'tcx>, mode: QueryMode ) -> Option<IsAsync>; fn is_promotable_const_fn( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_promotable_const_fn<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_foreign_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_foreign_item<'tcx>, mode: QueryMode ) -> Option<bool>; fn generator_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: generator_kind<'tcx>, mode: QueryMode ) -> Option<Option<GeneratorKind>>; fn crate_variances( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_variances<'tcx>, mode: QueryMode ) -> Option<&'tcx CrateVariancesMap<'tcx>>; fn variances_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: variances_of<'tcx>, mode: QueryMode ) -> Option<&'tcx [Variance]>; fn inferred_outlives_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inferred_outlives_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx CratePredicatesMap<'tcx>>; fn associated_item_def_ids( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_item_def_ids<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn associated_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_item<'tcx>, mode: QueryMode ) -> Option<AssocItem>; fn associated_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_items<'tcx>, mode: QueryMode ) -> Option<&'tcx AssocItems>; fn impl_item_implementor_ids( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_item_implementor_ids<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<DefId>>; fn associated_types_for_impl_traits_in_associated_fn( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_types_for_impl_traits_in_associated_fn<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn associated_type_for_impl_trait_in_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_type_for_impl_trait_in_trait<'tcx>, mode: QueryMode ) -> Option<LocalDefId>; fn impl_trait_ref( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_trait_ref<'tcx>, mode: QueryMode ) -> Option<Option<EarlyBinder<TraitRef<'tcx>>>>; fn impl_polarity( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_polarity<'tcx>, mode: QueryMode ) -> Option<ImplPolarity>; fn issue33140_self_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: issue33140_self_ty<'tcx>, mode: QueryMode ) -> Option<Option<EarlyBinder<Ty<'tcx>>>>; fn inherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn incoherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: incoherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn unsafety_check_result( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unsafety_check_result<'tcx>, mode: QueryMode ) -> Option<&'tcx UnsafetyCheckResult>; fn unsafety_check_result_for_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unsafety_check_result_for_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx UnsafetyCheckResult>; fn thir_check_unsafety( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_check_unsafety<'tcx>, mode: QueryMode ) -> Option<()>; fn thir_check_unsafety_for_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_check_unsafety_for_const_arg<'tcx>, mode: QueryMode ) -> Option<()>; fn assumed_wf_types( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: assumed_wf_types<'tcx>, mode: QueryMode ) -> Option<&'tcx List<Ty<'tcx>>>; fn fn_sig( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_sig<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<PolyFnSig<'tcx>>>; fn lint_mod( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lint_mod<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_attrs<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_unstable_api_usage( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_unstable_api_usage<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_const_bodies( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_const_bodies<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_loops( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_loops<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_naked_functions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_naked_functions<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_item_types( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_item_types<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_privacy( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_privacy<'tcx>, mode: QueryMode ) -> Option<()>; fn check_liveness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_liveness<'tcx>, mode: QueryMode ) -> Option<()>; fn live_symbols_and_ignored_derived_traits( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: live_symbols_and_ignored_derived_traits<'tcx>, mode: QueryMode ) -> Option<&'tcx (LocalDefIdSet, LocalDefIdMap<Vec<(DefId, DefId)>>)>; fn check_mod_deathness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_deathness<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_impl_wf( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_impl_wf<'tcx>, mode: QueryMode ) -> Option<()>; fn check_mod_type_wf( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_type_wf<'tcx>, mode: QueryMode ) -> Option<()>; fn collect_mod_item_types( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: collect_mod_item_types<'tcx>, mode: QueryMode ) -> Option<()>; fn coerce_unsized_info( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: coerce_unsized_info<'tcx>, mode: QueryMode ) -> Option<CoerceUnsizedInfo>; fn typeck_item_bodies( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: typeck_item_bodies<'tcx>, mode: QueryMode ) -> Option<()>; fn typeck( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: typeck<'tcx>, mode: QueryMode ) -> Option<&'tcx TypeckResults<'tcx>>; fn typeck_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: typeck_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx TypeckResults<'tcx>>; fn diagnostic_only_typeck( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: diagnostic_only_typeck<'tcx>, mode: QueryMode ) -> Option<&'tcx TypeckResults<'tcx>>; fn used_trait_imports( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: used_trait_imports<'tcx>, mode: QueryMode ) -> Option<&'tcx UnordSet<LocalDefId>>; fn has_typeck_results( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_typeck_results<'tcx>, mode: QueryMode ) -> Option<bool>; fn coherent_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: coherent_trait<'tcx>, mode: QueryMode ) -> Option<()>; fn mir_borrowck( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_borrowck<'tcx>, mode: QueryMode ) -> Option<&'tcx BorrowCheckResult<'tcx>>; fn mir_borrowck_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_borrowck_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx BorrowCheckResult<'tcx>>; fn crate_inherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_inherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx CrateInherentImpls>; fn crate_inherent_impls_overlap_check( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_inherent_impls_overlap_check<'tcx>, mode: QueryMode ) -> Option<()>; fn orphan_check_impl( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: orphan_check_impl<'tcx>, mode: QueryMode ) -> Option<Result<(), ErrorGuaranteed>>; fn mir_callgraph_reachable( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_callgraph_reachable<'tcx>, mode: QueryMode ) -> Option<bool>; fn mir_inliner_callees( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_inliner_callees<'tcx>, mode: QueryMode ) -> Option<&'tcx [(DefId, SubstsRef<'tcx>)]>; fn eval_to_allocation_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: eval_to_allocation_raw<'tcx>, mode: QueryMode ) -> Option<EvalToAllocationRawResult<'tcx>>; fn eval_to_const_value_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: eval_to_const_value_raw<'tcx>, mode: QueryMode ) -> Option<EvalToConstValueResult<'tcx>>; fn eval_to_valtree( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: eval_to_valtree<'tcx>, mode: QueryMode ) -> Option<EvalToValTreeResult<'tcx>>; fn valtree_to_const_val( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: valtree_to_const_val<'tcx>, mode: QueryMode ) -> Option<ConstValue<'tcx>>; fn destructure_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: destructure_const<'tcx>, mode: QueryMode ) -> Option<DestructuredConst<'tcx>>; fn try_destructure_mir_constant( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: try_destructure_mir_constant<'tcx>, mode: QueryMode ) -> Option<Option<DestructuredConstant<'tcx>>>; fn deref_mir_constant( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: deref_mir_constant<'tcx>, mode: QueryMode ) -> Option<ConstantKind<'tcx>>; fn const_caller_location( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: const_caller_location<'tcx>, mode: QueryMode ) -> Option<ConstValue<'tcx>>; fn lit_to_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lit_to_const<'tcx>, mode: QueryMode ) -> Option<Result<Const<'tcx>, LitToConstError>>; fn lit_to_mir_constant( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lit_to_mir_constant<'tcx>, mode: QueryMode ) -> Option<Result<ConstantKind<'tcx>, LitToConstError>>; fn check_match( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_match<'tcx>, mode: QueryMode ) -> Option<()>; fn effective_visibilities( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: effective_visibilities<'tcx>, mode: QueryMode ) -> Option<&'tcx EffectiveVisibilities>; fn check_private_in_public( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_private_in_public<'tcx>, mode: QueryMode ) -> Option<()>; fn reachable_set( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: reachable_set<'tcx>, mode: QueryMode ) -> Option<&'tcx LocalDefIdSet>; fn region_scope_tree( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: region_scope_tree<'tcx>, mode: QueryMode ) -> Option<&'tcx ScopeTree>; fn mir_shims( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_shims<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>; fn symbol_name( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: symbol_name<'tcx>, mode: QueryMode ) -> Option<SymbolName<'tcx>>; fn opt_def_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: opt_def_kind<'tcx>, mode: QueryMode ) -> Option<Option<DefKind>>; fn def_span( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: def_span<'tcx>, mode: QueryMode ) -> Option<Span>; fn def_ident_span( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: def_ident_span<'tcx>, mode: QueryMode ) -> Option<Option<Span>>; fn lookup_stability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_stability<'tcx>, mode: QueryMode ) -> Option<Option<Stability>>; fn lookup_const_stability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_const_stability<'tcx>, mode: QueryMode ) -> Option<Option<ConstStability>>; fn lookup_default_body_stability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_default_body_stability<'tcx>, mode: QueryMode ) -> Option<Option<DefaultBodyStability>>; fn should_inherit_track_caller( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: should_inherit_track_caller<'tcx>, mode: QueryMode ) -> Option<bool>; fn lookup_deprecation_entry( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_deprecation_entry<'tcx>, mode: QueryMode ) -> Option<Option<DeprecationEntry>>; fn is_doc_hidden( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_doc_hidden<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_doc_notable_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_doc_notable_trait<'tcx>, mode: QueryMode ) -> Option<bool>; fn item_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: item_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx [Attribute]>; fn codegen_fn_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegen_fn_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx CodegenFnAttrs>; fn asm_target_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: asm_target_features<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexSet<Symbol>>; fn fn_arg_names( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_arg_names<'tcx>, mode: QueryMode ) -> Option<&'tcx [Ident]>; fn rendered_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: rendered_const<'tcx>, mode: QueryMode ) -> Option<&'tcx String>; fn impl_parent( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_parent<'tcx>, mode: QueryMode ) -> Option<Option<DefId>>; fn is_ctfe_mir_available( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_ctfe_mir_available<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_mir_available( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_mir_available<'tcx>, mode: QueryMode ) -> Option<bool>; fn own_existential_vtable_entries( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: own_existential_vtable_entries<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn vtable_entries( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: vtable_entries<'tcx>, mode: QueryMode ) -> Option<&'tcx [VtblEntry<'tcx>]>; fn vtable_trait_upcasting_coercion_new_vptr_slot( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: vtable_trait_upcasting_coercion_new_vptr_slot<'tcx>, mode: QueryMode ) -> Option<Option<usize>>; fn vtable_allocation( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: vtable_allocation<'tcx>, mode: QueryMode ) -> Option<AllocId>; fn codegen_select_candidate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegen_select_candidate<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx ImplSource<'tcx, ()>, CodegenObligationError>>; fn all_local_trait_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: all_local_trait_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexMap<DefId, Vec<LocalDefId>>>; fn trait_impls_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_impls_of<'tcx>, mode: QueryMode ) -> Option<&'tcx TraitImpls>; fn specialization_graph_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: specialization_graph_of<'tcx>, mode: QueryMode ) -> Option<&'tcx Graph>; fn object_safety_violations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: object_safety_violations<'tcx>, mode: QueryMode ) -> Option<&'tcx [ObjectSafetyViolation]>; fn check_is_object_safe( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_is_object_safe<'tcx>, mode: QueryMode ) -> Option<bool>; fn param_env( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: param_env<'tcx>, mode: QueryMode ) -> Option<ParamEnv<'tcx>>; fn param_env_reveal_all_normalized( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: param_env_reveal_all_normalized<'tcx>, mode: QueryMode ) -> Option<ParamEnv<'tcx>>; fn is_copy_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_copy_raw<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_sized_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_sized_raw<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_freeze_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_freeze_raw<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_unpin_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_unpin_raw<'tcx>, mode: QueryMode ) -> Option<bool>; fn needs_drop_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: needs_drop_raw<'tcx>, mode: QueryMode ) -> Option<bool>; fn has_significant_drop_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_significant_drop_raw<'tcx>, mode: QueryMode ) -> Option<bool>; fn has_structural_eq_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_structural_eq_impls<'tcx>, mode: QueryMode ) -> Option<bool>; fn adt_drop_tys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_drop_tys<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>; fn adt_significant_drop_tys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_significant_drop_tys<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>; fn layout_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: layout_of<'tcx>, mode: QueryMode ) -> Option<Result<TyAndLayout<'tcx>, LayoutError<'tcx>>>; fn fn_abi_of_fn_ptr( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_abi_of_fn_ptr<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, FnAbiError<'tcx>>>; fn fn_abi_of_instance( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_abi_of_instance<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, FnAbiError<'tcx>>>; fn dylib_dependency_formats( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dylib_dependency_formats<'tcx>, mode: QueryMode ) -> Option<&'tcx [(CrateNum, LinkagePreference)]>; fn dependency_formats( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dependency_formats<'tcx>, mode: QueryMode ) -> Option<&'tcx Lrc<Dependencies>>; fn is_compiler_builtins( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_compiler_builtins<'tcx>, mode: QueryMode ) -> Option<bool>; fn has_global_allocator( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_global_allocator<'tcx>, mode: QueryMode ) -> Option<bool>; fn has_alloc_error_handler( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_alloc_error_handler<'tcx>, mode: QueryMode ) -> Option<bool>; fn has_panic_handler( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_panic_handler<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_profiler_runtime( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_profiler_runtime<'tcx>, mode: QueryMode ) -> Option<bool>; fn has_ffi_unwind_calls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_ffi_unwind_calls<'tcx>, mode: QueryMode ) -> Option<bool>; fn required_panic_strategy( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: required_panic_strategy<'tcx>, mode: QueryMode ) -> Option<Option<PanicStrategy>>; fn panic_in_drop_strategy( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: panic_in_drop_strategy<'tcx>, mode: QueryMode ) -> Option<PanicStrategy>; fn is_no_builtins( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_no_builtins<'tcx>, mode: QueryMode ) -> Option<bool>; fn symbol_mangling_version( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: symbol_mangling_version<'tcx>, mode: QueryMode ) -> Option<SymbolManglingVersion>; fn extern_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: extern_crate<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx ExternCrate>>; fn specializes( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: specializes<'tcx>, mode: QueryMode ) -> Option<bool>; fn in_scope_traits_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: in_scope_traits_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<ItemLocalId, Box<[TraitCandidate]>>>>; fn module_reexports( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: module_reexports<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx [ModChild]>>; fn impl_defaultness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_defaultness<'tcx>, mode: QueryMode ) -> Option<Defaultness>; fn check_well_formed( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_well_formed<'tcx>, mode: QueryMode ) -> Option<()>; fn reachable_non_generics( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: reachable_non_generics<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<SymbolExportInfo>>; fn is_reachable_non_generic( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_reachable_non_generic<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_unreachable_local_definition( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_unreachable_local_definition<'tcx>, mode: QueryMode ) -> Option<bool>; fn upstream_monomorphizations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upstream_monomorphizations<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<FxHashMap<SubstsRef<'tcx>, CrateNum>>>; fn upstream_monomorphizations_for( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upstream_monomorphizations_for<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<SubstsRef<'tcx>, CrateNum>>>; fn upstream_drop_glue_for( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upstream_drop_glue_for<'tcx>, mode: QueryMode ) -> Option<Option<CrateNum>>; fn foreign_modules( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: foreign_modules<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<DefId, ForeignModule>>; fn entry_fn( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: entry_fn<'tcx>, mode: QueryMode ) -> Option<Option<(DefId, EntryFnType)>>; fn proc_macro_decls_static( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: proc_macro_decls_static<'tcx>, mode: QueryMode ) -> Option<Option<LocalDefId>>; fn crate_hash( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_hash<'tcx>, mode: QueryMode ) -> Option<Svh>; fn crate_host_hash( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_host_hash<'tcx>, mode: QueryMode ) -> Option<Option<Svh>>; fn extra_filename( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: extra_filename<'tcx>, mode: QueryMode ) -> Option<&'tcx String>; fn crate_extern_paths( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_extern_paths<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<PathBuf>>; fn implementations_of_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: implementations_of_trait<'tcx>, mode: QueryMode ) -> Option<&'tcx [(DefId, Option<SimplifiedType>)]>; fn crate_incoherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_incoherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn native_library( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: native_library<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx NativeLib>>; fn resolve_bound_vars( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolve_bound_vars<'tcx>, mode: QueryMode ) -> Option<&'tcx ResolveBoundVars>; fn named_variable_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: named_variable_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<ItemLocalId, ResolvedArg>>>; fn is_late_bound_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_late_bound_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxIndexSet<ItemLocalId>>>; fn object_lifetime_default( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: object_lifetime_default<'tcx>, mode: QueryMode ) -> Option<ObjectLifetimeDefault>; fn late_bound_vars_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: late_bound_vars_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<ItemLocalId, Vec<BoundVariableKind>>>>; fn visibility( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: visibility<'tcx>, mode: QueryMode ) -> Option<Visibility<DefId>>; fn inhabited_predicate_adt( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inhabited_predicate_adt<'tcx>, mode: QueryMode ) -> Option<InhabitedPredicate<'tcx>>; fn inhabited_predicate_type( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inhabited_predicate_type<'tcx>, mode: QueryMode ) -> Option<InhabitedPredicate<'tcx>>; fn dep_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dep_kind<'tcx>, mode: QueryMode ) -> Option<CrateDepKind>; fn crate_name( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_name<'tcx>, mode: QueryMode ) -> Option<Symbol>; fn module_children( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: module_children<'tcx>, mode: QueryMode ) -> Option<&'tcx [ModChild]>; fn extern_mod_stmt_cnum( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: extern_mod_stmt_cnum<'tcx>, mode: QueryMode ) -> Option<Option<CrateNum>>; fn lib_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lib_features<'tcx>, mode: QueryMode ) -> Option<&'tcx LibFeatures>; fn defined_lib_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: defined_lib_features<'tcx>, mode: QueryMode ) -> Option<&'tcx [(Symbol, Option<Symbol>)]>; fn stability_implications( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: stability_implications<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<Symbol, Symbol>>; fn is_intrinsic( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_intrinsic<'tcx>, mode: QueryMode ) -> Option<bool>; fn get_lang_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: get_lang_items<'tcx>, mode: QueryMode ) -> Option<&'tcx LanguageItems>; fn all_diagnostic_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: all_diagnostic_items<'tcx>, mode: QueryMode ) -> Option<&'tcx DiagnosticItems>; fn defined_lang_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: defined_lang_items<'tcx>, mode: QueryMode ) -> Option<&'tcx [(DefId, LangItem)]>; fn diagnostic_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: diagnostic_items<'tcx>, mode: QueryMode ) -> Option<&'tcx DiagnosticItems>; fn missing_lang_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: missing_lang_items<'tcx>, mode: QueryMode ) -> Option<&'tcx [LangItem]>; fn visible_parent_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: visible_parent_map<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<DefId>>; fn trimmed_def_paths( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trimmed_def_paths<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<DefId, Symbol>>; fn missing_extern_crate_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: missing_extern_crate_item<'tcx>, mode: QueryMode ) -> Option<bool>; fn used_crate_source( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: used_crate_source<'tcx>, mode: QueryMode ) -> Option<&'tcx Lrc<CrateSource>>; fn debugger_visualizers( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: debugger_visualizers<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<DebuggerVisualizerFile>>; fn postorder_cnums( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: postorder_cnums<'tcx>, mode: QueryMode ) -> Option<&'tcx [CrateNum]>; fn is_private_dep( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_private_dep<'tcx>, mode: QueryMode ) -> Option<bool>; fn allocator_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: allocator_kind<'tcx>, mode: QueryMode ) -> Option<Option<AllocatorKind>>; fn alloc_error_handler_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: alloc_error_handler_kind<'tcx>, mode: QueryMode ) -> Option<Option<AllocatorKind>>; fn upvars_mentioned( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upvars_mentioned<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxIndexMap<HirId, Upvar>>>; fn maybe_unused_trait_imports( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: maybe_unused_trait_imports<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexSet<LocalDefId>>; fn names_imported_by_glob_use( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: names_imported_by_glob_use<'tcx>, mode: QueryMode ) -> Option<&'tcx UnordSet<Symbol>>; fn stability_index( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: stability_index<'tcx>, mode: QueryMode ) -> Option<&'tcx Index>; fn crates( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crates<'tcx>, mode: QueryMode ) -> Option<&'tcx [CrateNum]>; fn traits_in_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: traits_in_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn trait_impls_in_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_impls_in_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn exported_symbols( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: exported_symbols<'tcx>, mode: QueryMode ) -> Option<&'tcx [(ExportedSymbol<'tcx>, SymbolExportInfo)]>; fn collect_and_partition_mono_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: collect_and_partition_mono_items<'tcx>, mode: QueryMode ) -> Option<(&'tcx DefIdSet, &'tcx [CodegenUnit<'tcx>])>; fn is_codegened_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_codegened_item<'tcx>, mode: QueryMode ) -> Option<bool>; fn codegened_and_inlined_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegened_and_inlined_items<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdSet>; fn codegen_unit( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegen_unit<'tcx>, mode: QueryMode ) -> Option<&'tcx CodegenUnit<'tcx>>; fn unused_generic_params( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unused_generic_params<'tcx>, mode: QueryMode ) -> Option<UnusedGenericParams>; fn backend_optimization_level( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: backend_optimization_level<'tcx>, mode: QueryMode ) -> Option<OptLevel>; fn output_filenames( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: output_filenames<'tcx>, mode: QueryMode ) -> Option<&'tcx Arc<OutputFilenames>>; fn normalize_projection_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: normalize_projection_ty<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>; fn try_normalize_generic_arg_after_erasing_regions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: try_normalize_generic_arg_after_erasing_regions<'tcx>, mode: QueryMode ) -> Option<Result<GenericArg<'tcx>, NoSolution>>; fn implied_outlives_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: implied_outlives_bounds<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>>; fn dropck_outlives( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dropck_outlives<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>>; fn evaluate_obligation( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: evaluate_obligation<'tcx>, mode: QueryMode ) -> Option<Result<EvaluationResult, OverflowError>>; fn evaluate_goal( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: evaluate_goal<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>; fn type_op_ascribe_user_type( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_ascribe_user_type<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>; fn type_op_eq( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_eq<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>; fn type_op_subtype( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_subtype<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>; fn type_op_prove_predicate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_prove_predicate<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>; fn type_op_normalize_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_ty<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>>; fn type_op_normalize_predicate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_predicate<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>>; fn type_op_normalize_poly_fn_sig( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_poly_fn_sig<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>>; fn type_op_normalize_fn_sig( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_fn_sig<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>>; fn subst_and_check_impossible_predicates( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: subst_and_check_impossible_predicates<'tcx>, mode: QueryMode ) -> Option<bool>; fn is_impossible_method( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_impossible_method<'tcx>, mode: QueryMode ) -> Option<bool>; fn method_autoderef_steps( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: method_autoderef_steps<'tcx>, mode: QueryMode ) -> Option<MethodAutoderefStepsResult<'tcx>>; fn supported_target_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: supported_target_features<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<String, Option<Symbol>>>; fn instance_def_size_estimate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: instance_def_size_estimate<'tcx>, mode: QueryMode ) -> Option<usize>; fn features_query( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: features_query<'tcx>, mode: QueryMode ) -> Option<&'tcx Features>; fn metadata_loader( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: metadata_loader<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Box<MetadataLoaderDyn>>>; fn crate_for_resolver( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_for_resolver<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<(Crate, AttrVec)>>; fn resolve_instance( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolve_instance<'tcx>, mode: QueryMode ) -> Option<Result<Option<Instance<'tcx>>, ErrorGuaranteed>>; fn resolve_instance_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolve_instance_of_const_arg<'tcx>, mode: QueryMode ) -> Option<Result<Option<Instance<'tcx>>, ErrorGuaranteed>>; fn reveal_opaque_types_in_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: reveal_opaque_types_in_bounds<'tcx>, mode: QueryMode ) -> Option<&'tcx List<Predicate<'tcx>>>; fn limits( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: limits<'tcx>, mode: QueryMode ) -> Option<Limits>; fn diagnostic_hir_wf_check( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: diagnostic_hir_wf_check<'tcx>, mode: QueryMode ) -> Option<&'tcx Option<ObligationCause<'tcx>>>; fn global_backend_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: global_backend_features<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<String>>; fn generator_diagnostic_data( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: generator_diagnostic_data<'tcx>, mode: QueryMode ) -> Option<&'tcx Option<GeneratorDiagnosticData<'tcx>>>; fn check_validity_requirement( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_validity_requirement<'tcx>, mode: QueryMode ) -> Option<Result<bool, LayoutError<'tcx>>>; fn compare_impl_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: compare_impl_const<'tcx>, mode: QueryMode ) -> Option<Result<(), ErrorGuaranteed>>; fn deduced_param_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: deduced_param_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx [DeducedParamAttrs]>; fn doc_link_resolutions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: doc_link_resolutions<'tcx>, mode: QueryMode ) -> Option<&'tcx DocLinkResMap>; fn doc_link_traits_in_scope( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: doc_link_traits_in_scope<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>; fn check_tys_might_be_eq( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_tys_might_be_eq<'tcx>, mode: QueryMode ) -> Option<Result<(), NoSolution>>;
}

Required Methods§

source

fn as_any(&'tcx self) -> &'tcx dyn Any

source

fn try_mark_green(&'tcx self, tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> bool

source

fn trigger_delay_span_bug( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trigger_delay_span_bug<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] triggering a delay span bug

source

fn registered_tools( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: registered_tools<'tcx>, mode: QueryMode ) -> Option<&'tcx RegisteredTools>

[query description - consider adding a doc-comment!] compute registered tools for crate

source

fn early_lint_checks( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: early_lint_checks<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] perform lints prior to macro expansion

source

fn resolutions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolutions<'tcx>, mode: QueryMode ) -> Option<&'tcx ResolverGlobalCtxt>

[query description - consider adding a doc-comment!] getting the resolver outputs

source

fn resolver_for_lowering( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolver_for_lowering<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<(ResolverAstLowering, Lrc<Crate>)>>

[query description - consider adding a doc-comment!] getting the resolver for lowering

source

fn source_span( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: source_span<'tcx>, mode: QueryMode ) -> Option<Span>

Return the span for a definition. Contrary to def_span below, this query returns the full absolute span of the definition. This span is meant for dep-tracking rather than diagnostics. It should not be used outside of rustc_middle::hir::source_map.

source

fn hir_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx Crate<'tcx>>

Represents crate as a whole (as distinct from the top-level crate module). If you call hir_crate (e.g., indirectly by calling tcx.hir().krate()), we will have to assume that any change means that you need to be recompiled. This is because the hir_crate query gives you access to all other items. To avoid this fate, do not call tcx.hir().krate(); instead, prefer wrappers like tcx.visit_all_items_in_krate().

source

fn hir_crate_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_crate_items<'tcx>, mode: QueryMode ) -> Option<&'tcx ModuleItems>

All items in the crate.

source

fn hir_module_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_module_items<'tcx>, mode: QueryMode ) -> Option<&'tcx ModuleItems>

The items in a module.

This can be conveniently accessed by tcx.hir().visit_item_likes_in_module. Avoid calling this query directly.

source

fn hir_owner( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_owner<'tcx>, mode: QueryMode ) -> Option<Option<Owner<'tcx>>>

Gives access to the HIR node for the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

source

fn opt_local_def_id_to_hir_id( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: opt_local_def_id_to_hir_id<'tcx>, mode: QueryMode ) -> Option<Option<HirId>>

Gives access to the HIR ID for the given LocalDefId owner key if any.

Definitions that were generated with no HIR, would be feeded to return None.

source

fn hir_owner_parent( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_owner_parent<'tcx>, mode: QueryMode ) -> Option<HirId>

Gives access to the HIR node’s parent for the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

source

fn hir_owner_nodes( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_owner_nodes<'tcx>, mode: QueryMode ) -> Option<MaybeOwner<&'tcx OwnerNodes<'tcx>>>

Gives access to the HIR nodes and bodies inside the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

source

fn hir_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: hir_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx AttributeMap<'tcx>>

Gives access to the HIR attributes inside the HIR owner key.

This can be conveniently accessed by methods on tcx.hir(). Avoid calling this query directly.

source

fn opt_const_param_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: opt_const_param_of<'tcx>, mode: QueryMode ) -> Option<Option<DefId>>

Computes the DefId of the corresponding const parameter in case the key is a const argument and returns None otherwise.

let a = foo::<7>();
//            ^ Calling `opt_const_param_of` for this argument,

fn foo<const N: usize>()
//           ^ returns this `DefId`.

fn bar() {
// ^ While calling `opt_const_param_of` for other bodies returns `None`.
}
source

fn const_param_default( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: const_param_default<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<Const<'tcx>>>

Given the def_id of a const-generic parameter, computes the associated default const parameter. e.g. fn example<const N: usize=3> called on N would return 3.

source

fn type_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_of<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<Ty<'tcx>>>

Returns the Ty of the given DefId. If the DefId points to an alias, it will “skip” this alias to return the aliased type.

source

fn collect_return_position_impl_trait_in_trait_tys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: collect_return_position_impl_trait_in_trait_tys<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx FxHashMap<DefId, Ty<'tcx>>, ErrorGuaranteed>>

[query description - consider adding a doc-comment!] comparing an impl and trait method signature, inferring any hidden impl Trait types in the process

source

fn is_type_alias_impl_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_type_alias_impl_trait<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] determine whether the opaque is a type-alias impl trait

source

fn unsizing_params_for_adt( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unsizing_params_for_adt<'tcx>, mode: QueryMode ) -> Option<&'tcx BitSet<u32>>

[query description - consider adding a doc-comment!] determining what parameters of tcx.def_path_str(key) can participate in unsizing

source

fn analysis( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: analysis<'tcx>, mode: QueryMode ) -> Option<Result<(), ErrorGuaranteed>>

[query description - consider adding a doc-comment!] running analysis passes on this crate

source

fn check_expectations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_expectations<'tcx>, mode: QueryMode ) -> Option<()>

This query checks the fulfillment of collected lint expectations. All lint emitting queries have to be done before this is executed to ensure that all expectations can be fulfilled.

This is an extra query to enable other drivers (like rustdoc) to only execute a small subset of the analysis query, while allowing lints to be expected. In rustc, this query will be executed as part of the analysis query and doesn’t have to be called a second time.

Tools can additionally pass in a tool filter. That will restrict the expectations to only trigger for lints starting with the listed tool name. This is useful for cases were not all linting code from rustc was called. With the default None all registered lints will also be checked for expectation fulfillment.

source

fn generics_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: generics_of<'tcx>, mode: QueryMode ) -> Option<&'tcx Generics>

Maps from the DefId of an item (trait/struct/enum/fn) to its associated generics.

source

fn predicates_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: predicates_of<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>

Maps from the DefId of an item (trait/struct/enum/fn) to the predicates (where-clauses) that must be proven true in order to reference it. This is almost always the “predicates query” that you want.

predicates_of builds on predicates_defined_on – in fact, it is almost always the same as that query, except for the case of traits. For traits, predicates_of contains an additional Self: Trait<...> predicate that users don’t actually write. This reflects the fact that to invoke the trait (e.g., via Default::default) you must supply types that actually implement the trait. (However, this extra predicate gets in the way of some checks, which are intended to operate over only the actual where-clauses written by the user.)

source

fn explicit_item_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: explicit_item_bounds<'tcx>, mode: QueryMode ) -> Option<&'tcx [(Predicate<'tcx>, Span)]>

Returns the list of bounds that can be used for SelectionCandidate::ProjectionCandidate(_) and ProjectionTyCandidate::TraitDef. Specifically this is the bounds written on the trait’s type definition, or those after the impl keyword

type X: Bound + 'lt
//      ^^^^^^^^^^^
impl Debug + Display
//   ^^^^^^^^^^^^^^^

key is the DefId of the associated type or opaque type.

Bounds from the parent (e.g. with nested impl trait) are not included.

source

fn item_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: item_bounds<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<&'tcx List<Predicate<'tcx>>>>

Elaborated version of the predicates from explicit_item_bounds.

For example:

trait MyTrait {
    type MyAType: Eq + ?Sized;
}

explicit_item_bounds returns [<Self as MyTrait>::MyAType: Eq], and item_bounds returns

[
    <Self as Trait>::MyAType: Eq,
    <Self as Trait>::MyAType: PartialEq<<Self as Trait>::MyAType>
]

Bounds from the parent (e.g. with nested impl trait) are not included.

source

fn native_libraries( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: native_libraries<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<NativeLib>>

Look up all native libraries this crate depends on. These are assembled from the following places:

  • extern blocks (depending on their link attributes)
  • the libs (-l) option
source

fn shallow_lint_levels_on( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: shallow_lint_levels_on<'tcx>, mode: QueryMode ) -> Option<&'tcx ShallowLintLevelMap>

[query description - consider adding a doc-comment!] looking up lint levels for tcx.def_path_str(key.to_def_id())

source

fn lint_expectations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lint_expectations<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<(LintExpectationId, LintExpectation)>>

[query description - consider adding a doc-comment!] computing #[expect]ed lints in this crate

source

fn parent_module_from_def_id( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: parent_module_from_def_id<'tcx>, mode: QueryMode ) -> Option<LocalDefId>

[query description - consider adding a doc-comment!] getting the parent module of tcx.def_path_str(key.to_def_id())

source

fn expn_that_defined( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: expn_that_defined<'tcx>, mode: QueryMode ) -> Option<ExpnId>

[query description - consider adding a doc-comment!] getting the expansion that defined tcx.def_path_str(key)

source

fn is_panic_runtime( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_panic_runtime<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if the crate is_panic_runtime

source

fn representability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: representability<'tcx>, mode: QueryMode ) -> Option<Representability>

Checks whether a type is representable or infinitely sized

source

fn representability_adt_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: representability_adt_ty<'tcx>, mode: QueryMode ) -> Option<Representability>

An implementation detail for the representability query

source

fn params_in_repr( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: params_in_repr<'tcx>, mode: QueryMode ) -> Option<&'tcx BitSet<u32>>

Set of param indexes for type params that are in the type’s representation

source

fn thir_body( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_body<'tcx>, mode: QueryMode ) -> Option<Result<(&'tcx Steal<Thir<'tcx>>, ExprId), ErrorGuaranteed>>

Fetch the THIR for a given body. If typeck for that body failed, returns an empty Thir.

source

fn thir_tree( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_tree<'tcx>, mode: QueryMode ) -> Option<&'tcx String>

Create a THIR tree for debugging.

source

fn thir_flat( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_flat<'tcx>, mode: QueryMode ) -> Option<&'tcx String>

Create a list-like THIR representation for debugging.

source

fn mir_keys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_keys<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexSet<LocalDefId>>

Set of all the DefIds in this crate that have MIR associated with them. This includes all the body owners, but also things like struct constructors.

source

fn mir_const_qualif( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_const_qualif<'tcx>, mode: QueryMode ) -> Option<ConstQualifs>

Maps DefId’s that have an associated mir::Body to the result of the MIR const-checking pass. This is the set of qualifs in the final value of a const.

source

fn mir_const_qualif_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_const_qualif_const_arg<'tcx>, mode: QueryMode ) -> Option<ConstQualifs>

[query description - consider adding a doc-comment!] const checking the const argument tcx.def_path_str(key.0.to_def_id())

source

fn mir_built( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_built<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Body<'tcx>>>

Fetch the MIR for a given DefId right after it’s built - this includes unreachable code.

source

fn mir_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_const<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Body<'tcx>>>

Fetch the MIR for a given DefId up till the point where it is ready for const qualification.

See the README for the mir module for details.

source

fn thir_abstract_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_abstract_const<'tcx>, mode: QueryMode ) -> Option<Result<Option<Const<'tcx>>, ErrorGuaranteed>>

Try to build an abstract representation of the given constant.

source

fn thir_abstract_const_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_abstract_const_of_const_arg<'tcx>, mode: QueryMode ) -> Option<Result<Option<Const<'tcx>>, ErrorGuaranteed>>

Try to build an abstract representation of the given constant.

source

fn mir_drops_elaborated_and_const_checked( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_drops_elaborated_and_const_checked<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Body<'tcx>>>

[query description - consider adding a doc-comment!] elaborating drops for tcx.def_path_str(key.did.to_def_id())

source

fn mir_for_ctfe( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_for_ctfe<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>

[query description - consider adding a doc-comment!] caching mir of tcx.def_path_str(key) for CTFE

source

fn mir_for_ctfe_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_for_ctfe_of_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>

[query description - consider adding a doc-comment!] caching MIR for CTFE of the const argument tcx.def_path_str(key.0.to_def_id())

source

fn mir_promoted( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_promoted<'tcx>, mode: QueryMode ) -> Option<(&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>)>

[query description - consider adding a doc-comment!] processing MIR for if key.const_param_did.is_some() { "the const argument " } else { "" } tcx.def_path_str(key.did.to_def_id())

source

fn closure_typeinfo( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: closure_typeinfo<'tcx>, mode: QueryMode ) -> Option<ClosureTypeInfo<'tcx>>

[query description - consider adding a doc-comment!] finding symbols for captures of closure tcx.def_path_str(key.to_def_id())

source

fn mir_generator_witnesses( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_generator_witnesses<'tcx>, mode: QueryMode ) -> Option<&'tcx GeneratorLayout<'tcx>>

[query description - consider adding a doc-comment!] generator witness types for tcx.def_path_str(key)

source

fn check_generator_obligations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_generator_obligations<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] verify auto trait bounds for generator interior type tcx.def_path_str(key.to_def_id())

source

fn optimized_mir( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: optimized_mir<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>

MIR after our optimization passes have run. This is MIR that is ready for codegen. This is also the only query that can fetch non-local MIR, at present.

source

fn coverageinfo( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: coverageinfo<'tcx>, mode: QueryMode ) -> Option<&'tcx CoverageInfo>

Returns coverage summary info for a function, after executing the InstrumentCoverage MIR pass (assuming the -Cinstrument-coverage option is enabled).

source

fn covered_code_regions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: covered_code_regions<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<&'tcx CodeRegion>>

Returns the CodeRegions for a function that has instrumented coverage, in case the function was optimized out before codegen, and before being added to the Coverage Map.

source

fn promoted_mir( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: promoted_mir<'tcx>, mode: QueryMode ) -> Option<&'tcx IndexVec<Promoted, Body<'tcx>>>

The DefId is the DefId of the containing MIR body. Promoteds do not have their own DefId. This function returns all promoteds in the specified body. The body references promoteds by the DefId and the mir::Promoted index. This is necessary, because after inlining a body may refer to promoteds from other bodies. In that case you still need to use the DefId of the original body.

source

fn promoted_mir_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: promoted_mir_of_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx IndexVec<Promoted, Body<'tcx>>>

[query description - consider adding a doc-comment!] optimizing promoted MIR for the const argument tcx.def_path_str(key.0.to_def_id())

source

fn erase_regions_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: erase_regions_ty<'tcx>, mode: QueryMode ) -> Option<Ty<'tcx>>

Erases regions from ty to yield a new type. Normally you would just use tcx.erase_regions(value), however, which uses this query as a kind of cache.

source

fn wasm_import_module_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: wasm_import_module_map<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<DefId, String>>

[query description - consider adding a doc-comment!] getting wasm import module map

source

fn predicates_defined_on( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: predicates_defined_on<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>

Maps from the DefId of an item (trait/struct/enum/fn) to the predicates (where-clauses) directly defined on it. This is equal to the explicit_predicates_of predicates plus the inferred_outlives_of predicates.

source

fn trait_explicit_predicates_and_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_explicit_predicates_and_bounds<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>

Returns everything that looks like a predicate written explicitly by the user on a trait item.

Traits are unusual, because predicates on associated types are converted into bounds on that type for backwards compatibility:

trait X where Self::U: Copy { type U; }

becomes

trait X { type U: Copy; }

explicit_predicates_of and explicit_item_bounds will then take the appropriate subsets of the predicates here.

source

fn explicit_predicates_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: explicit_predicates_of<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>

Returns the predicates written explicitly by the user.

source

fn inferred_outlives_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inferred_outlives_of<'tcx>, mode: QueryMode ) -> Option<&'tcx [(Clause<'tcx>, Span)]>

Returns the inferred outlives predicates (e.g., for struct Foo<'a, T> { x: &'a T }, this would return T: 'a).

source

fn super_predicates_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: super_predicates_of<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>

Maps from the DefId of a trait to the list of super-predicates. This is a subset of the full list of predicates. We store these in a separate map because we must evaluate them even during type conversion, often before the full predicates are available (note that supertraits have additional acyclicity requirements).

source

fn super_predicates_that_define_assoc_type( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: super_predicates_that_define_assoc_type<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>

The Option<Ident> is the name of an associated type. If it is None, then this query returns the full set of predicates. If Some<Ident>, then the query returns only the subset of super-predicates that reference traits that define the given associated type. This is used to avoid cycles in resolving types like T::Item.

source

fn type_param_predicates( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_param_predicates<'tcx>, mode: QueryMode ) -> Option<GenericPredicates<'tcx>>

To avoid cycles within the predicates of a single item we compute per-type-parameter predicates for resolving T::AssocTy.

source

fn trait_def( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_def<'tcx>, mode: QueryMode ) -> Option<&'tcx TraitDef>

[query description - consider adding a doc-comment!] computing trait definition for tcx.def_path_str(key)

source

fn adt_def( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_def<'tcx>, mode: QueryMode ) -> Option<AdtDef<'tcx>>

[query description - consider adding a doc-comment!] computing ADT definition for tcx.def_path_str(key)

source

fn adt_destructor( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_destructor<'tcx>, mode: QueryMode ) -> Option<Option<Destructor>>

[query description - consider adding a doc-comment!] computing Drop impl for tcx.def_path_str(key)

source

fn adt_sized_constraint( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_sized_constraint<'tcx>, mode: QueryMode ) -> Option<&'tcx [Ty<'tcx>]>

[query description - consider adding a doc-comment!] computing Sized constraints for tcx.def_path_str(key)

source

fn adt_dtorck_constraint( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_dtorck_constraint<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx DropckConstraint<'tcx>, NoSolution>>

[query description - consider adding a doc-comment!] computing drop-check constraints for tcx.def_path_str(key)

source

fn constness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: constness<'tcx>, mode: QueryMode ) -> Option<Constness>

Returns true if this is a const fn, use the is_const_fn to know whether your crate actually sees it as const fn (e.g., the const-fn-ness might be unstable and you might not have the feature gate active).

Do not call this function manually. It is only meant to cache the base data for the is_const_fn function. Consider using is_const_fn or is_const_fn_raw instead.

source

fn asyncness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: asyncness<'tcx>, mode: QueryMode ) -> Option<IsAsync>

[query description - consider adding a doc-comment!] checking if the function is async: tcx.def_path_str(key)

source

fn is_promotable_const_fn( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_promotable_const_fn<'tcx>, mode: QueryMode ) -> Option<bool>

Returns true if calls to the function may be promoted.

This is either because the function is e.g., a tuple-struct or tuple-variant constructor, or because it has the #[rustc_promotable] attribute. The attribute should be removed in the future in favour of some form of check which figures out whether the function does not inspect the bits of any of its arguments (so is essentially just a constructor function).

source

fn is_foreign_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_foreign_item<'tcx>, mode: QueryMode ) -> Option<bool>

Returns true if this is a foreign item (i.e., linked via extern { ... }).

source

fn generator_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: generator_kind<'tcx>, mode: QueryMode ) -> Option<Option<GeneratorKind>>

Returns Some(generator_kind) if the node pointed to by def_id is a generator.

source

fn crate_variances( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_variances<'tcx>, mode: QueryMode ) -> Option<&'tcx CrateVariancesMap<'tcx>>

Gets a map with the variance of every item; use item_variance instead.

source

fn variances_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: variances_of<'tcx>, mode: QueryMode ) -> Option<&'tcx [Variance]>

Maps from the DefId of a type or region parameter to its (inferred) variance.

source

fn inferred_outlives_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inferred_outlives_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx CratePredicatesMap<'tcx>>

Maps from thee DefId of a type to its (inferred) outlives.

source

fn associated_item_def_ids( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_item_def_ids<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

Maps from an impl/trait DefId to a list of the DefIds of its items.

source

fn associated_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_item<'tcx>, mode: QueryMode ) -> Option<AssocItem>

Maps from a trait item to the trait item “descriptor”.

source

fn associated_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_items<'tcx>, mode: QueryMode ) -> Option<&'tcx AssocItems>

Collects the associated items defined on a trait or impl.

source

fn impl_item_implementor_ids( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_item_implementor_ids<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<DefId>>

Maps from associated items on a trait to the corresponding associated item on the impl specified by impl_id.

For example, with the following code

struct Type {}
                        // DefId
trait Trait {           // trait_id
    fn f();             // trait_f
    fn g() {}           // trait_g
}

impl Trait for Type {   // impl_id
    fn f() {}           // impl_f
    fn g() {}           // impl_g
}

The map returned for tcx.impl_item_implementor_ids(impl_id) would be { trait_f: impl_f, trait_g: impl_g }

source

fn associated_types_for_impl_traits_in_associated_fn( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_types_for_impl_traits_in_associated_fn<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

Given fn_def_id of a trait or of an impl that implements a given trait: if fn_def_id is the def id of a function defined inside a trait, then it creates and returns the associated items that correspond to each impl trait in return position for that trait. if fn_def_id is the def id of a function defined inside an impl that implements a trait, then it creates and returns the associated items that correspond to each impl trait in return position of the implemented trait.

source

fn associated_type_for_impl_trait_in_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: associated_type_for_impl_trait_in_trait<'tcx>, mode: QueryMode ) -> Option<LocalDefId>

Given an impl trait in trait opaque_ty_def_id, create and return the corresponding associated item.

source

fn impl_trait_ref( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_trait_ref<'tcx>, mode: QueryMode ) -> Option<Option<EarlyBinder<TraitRef<'tcx>>>>

Given an impl_id, return the trait it implements. Return None if this is an inherent impl.

source

fn impl_polarity( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_polarity<'tcx>, mode: QueryMode ) -> Option<ImplPolarity>

[query description - consider adding a doc-comment!] computing implementation polarity of tcx.def_path_str(impl_id)

source

fn issue33140_self_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: issue33140_self_ty<'tcx>, mode: QueryMode ) -> Option<Option<EarlyBinder<Ty<'tcx>>>>

[query description - consider adding a doc-comment!] computing Self type wrt issue #33140 tcx.def_path_str(key)

source

fn inherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

Maps a DefId of a type to a list of its inherent impls. Contains implementations of methods that are inherent to a type. Methods in these implementations don’t need to be exported.

source

fn incoherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: incoherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

[query description - consider adding a doc-comment!] collecting all inherent impls for {:?}

source

fn unsafety_check_result( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unsafety_check_result<'tcx>, mode: QueryMode ) -> Option<&'tcx UnsafetyCheckResult>

The result of unsafety-checking this LocalDefId.

source

fn unsafety_check_result_for_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unsafety_check_result_for_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx UnsafetyCheckResult>

[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())

source

fn thir_check_unsafety( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_check_unsafety<'tcx>, mode: QueryMode ) -> Option<()>

Unsafety-check this LocalDefId with THIR unsafeck. This should be used with -Zthir-unsafeck.

source

fn thir_check_unsafety_for_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: thir_check_unsafety_for_const_arg<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] unsafety-checking the const argument tcx.def_path_str(key.0.to_def_id())

source

fn assumed_wf_types( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: assumed_wf_types<'tcx>, mode: QueryMode ) -> Option<&'tcx List<Ty<'tcx>>>

Returns the types assumed to be well formed while “inside” of the given item.

Note that we’ve liberated the late bound regions of function signatures, so this can not be used to check whether these types are well formed.

source

fn fn_sig( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_sig<'tcx>, mode: QueryMode ) -> Option<EarlyBinder<PolyFnSig<'tcx>>>

Computes the signature of the function.

source

fn lint_mod( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lint_mod<'tcx>, mode: QueryMode ) -> Option<()>

Performs lint checking for the module.

source

fn check_mod_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_attrs<'tcx>, mode: QueryMode ) -> Option<()>

Checks the attributes in the module.

source

fn check_mod_unstable_api_usage( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_unstable_api_usage<'tcx>, mode: QueryMode ) -> Option<()>

Checks for uses of unstable APIs in the module.

source

fn check_mod_const_bodies( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_const_bodies<'tcx>, mode: QueryMode ) -> Option<()>

Checks the const bodies in the module for illegal operations (e.g. if or loop).

source

fn check_mod_loops( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_loops<'tcx>, mode: QueryMode ) -> Option<()>

Checks the loops in the module.

source

fn check_mod_naked_functions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_naked_functions<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking naked functions in describe_as_module(key, tcx)

source

fn check_mod_item_types( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_item_types<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking item types in describe_as_module(key, tcx)

source

fn check_mod_privacy( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_privacy<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking privacy in describe_as_module(key, tcx)

source

fn check_liveness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_liveness<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking liveness of variables in tcx.def_path_str(key)

source

fn live_symbols_and_ignored_derived_traits( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: live_symbols_and_ignored_derived_traits<'tcx>, mode: QueryMode ) -> Option<&'tcx (LocalDefIdSet, LocalDefIdMap<Vec<(DefId, DefId)>>)>

Return the live symbols in the crate for dead code check.

The second return value maps from ADTs to ignored derived traits (e.g. Debug and Clone) and their respective impl (i.e., part of the derive macro)

source

fn check_mod_deathness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_deathness<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking deathness of variables in describe_as_module(key, tcx)

source

fn check_mod_impl_wf( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_impl_wf<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking that impls are well-formed in describe_as_module(key, tcx)

source

fn check_mod_type_wf( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_mod_type_wf<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking that types are well-formed in describe_as_module(key, tcx)

source

fn collect_mod_item_types( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: collect_mod_item_types<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] collecting item types in describe_as_module(key, tcx)

source

fn coerce_unsized_info( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: coerce_unsized_info<'tcx>, mode: QueryMode ) -> Option<CoerceUnsizedInfo>

Caches CoerceUnsized kinds for impls on custom types.

source

fn typeck_item_bodies( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: typeck_item_bodies<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] type-checking all item bodies

source

fn typeck( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: typeck<'tcx>, mode: QueryMode ) -> Option<&'tcx TypeckResults<'tcx>>

[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())

source

fn typeck_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: typeck_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx TypeckResults<'tcx>>

[query description - consider adding a doc-comment!] type-checking the const argument tcx.def_path_str(key.0.to_def_id())

source

fn diagnostic_only_typeck( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: diagnostic_only_typeck<'tcx>, mode: QueryMode ) -> Option<&'tcx TypeckResults<'tcx>>

[query description - consider adding a doc-comment!] type-checking tcx.def_path_str(key.to_def_id())

source

fn used_trait_imports( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: used_trait_imports<'tcx>, mode: QueryMode ) -> Option<&'tcx UnordSet<LocalDefId>>

[query description - consider adding a doc-comment!] finding used_trait_imports tcx.def_path_str(key.to_def_id())

source

fn has_typeck_results( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_typeck_results<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) has a body

source

fn coherent_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: coherent_trait<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] coherence checking all impls of trait tcx.def_path_str(def_id)

source

fn mir_borrowck( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_borrowck<'tcx>, mode: QueryMode ) -> Option<&'tcx BorrowCheckResult<'tcx>>

Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify.

source

fn mir_borrowck_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_borrowck_const_arg<'tcx>, mode: QueryMode ) -> Option<&'tcx BorrowCheckResult<'tcx>>

[query description - consider adding a doc-comment!] borrow-checking the const argument tcx.def_path_str(key.0.to_def_id())

source

fn crate_inherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_inherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx CrateInherentImpls>

Gets a complete map from all types to their inherent impls. Not meant to be used directly outside of coherence.

source

fn crate_inherent_impls_overlap_check( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_inherent_impls_overlap_check<'tcx>, mode: QueryMode ) -> Option<()>

Checks all types in the crate for overlap in their inherent impls. Reports errors. Not meant to be used directly outside of coherence.

source

fn orphan_check_impl( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: orphan_check_impl<'tcx>, mode: QueryMode ) -> Option<Result<(), ErrorGuaranteed>>

Checks whether all impls in the crate pass the overlap check, returning which impls fail it. If all impls are correct, the returned slice is empty.

source

fn mir_callgraph_reachable( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_callgraph_reachable<'tcx>, mode: QueryMode ) -> Option<bool>

Check whether the function has any recursion that could cause the inliner to trigger a cycle. Returns the call stack causing the cycle. The call stack does not contain the current function, just all intermediate functions.

source

fn mir_inliner_callees( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_inliner_callees<'tcx>, mode: QueryMode ) -> Option<&'tcx [(DefId, SubstsRef<'tcx>)]>

Obtain all the calls into other local functions

source

fn eval_to_allocation_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: eval_to_allocation_raw<'tcx>, mode: QueryMode ) -> Option<EvalToAllocationRawResult<'tcx>>

Evaluates a constant and returns the computed allocation.

Do not use this directly, use the tcx.eval_static_initializer wrapper.

source

fn eval_to_const_value_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: eval_to_const_value_raw<'tcx>, mode: QueryMode ) -> Option<EvalToConstValueResult<'tcx>>

Evaluates const items or anonymous constants (such as enum variant explicit discriminants or array lengths) into a representation suitable for the type system and const generics.

Do not use this directly, use one of the following wrappers: tcx.const_eval_poly, tcx.const_eval_resolve, tcx.const_eval_instance, or tcx.const_eval_global_id.

source

fn eval_to_valtree( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: eval_to_valtree<'tcx>, mode: QueryMode ) -> Option<EvalToValTreeResult<'tcx>>

Evaluate a constant and convert it to a type level constant or return None if that is not possible.

source

fn valtree_to_const_val( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: valtree_to_const_val<'tcx>, mode: QueryMode ) -> Option<ConstValue<'tcx>>

Converts a type level constant value into ConstValue

source

fn destructure_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: destructure_const<'tcx>, mode: QueryMode ) -> Option<DestructuredConst<'tcx>>

Destructures array, ADT or tuple constants into the constants of their fields.

source

fn try_destructure_mir_constant( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: try_destructure_mir_constant<'tcx>, mode: QueryMode ) -> Option<Option<DestructuredConstant<'tcx>>>

Tries to destructure an mir::ConstantKind ADT or array into its variant index and its field values.

source

fn deref_mir_constant( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: deref_mir_constant<'tcx>, mode: QueryMode ) -> Option<ConstantKind<'tcx>>

Dereference a constant reference or raw pointer and turn the result into a constant again.

source

fn const_caller_location( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: const_caller_location<'tcx>, mode: QueryMode ) -> Option<ConstValue<'tcx>>

[query description - consider adding a doc-comment!] getting a &core::panic::Location referring to a span

source

fn lit_to_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lit_to_const<'tcx>, mode: QueryMode ) -> Option<Result<Const<'tcx>, LitToConstError>>

[query description - consider adding a doc-comment!] converting literal to const

source

fn lit_to_mir_constant( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lit_to_mir_constant<'tcx>, mode: QueryMode ) -> Option<Result<ConstantKind<'tcx>, LitToConstError>>

[query description - consider adding a doc-comment!] converting literal to mir constant

source

fn check_match( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_match<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] match-checking tcx.def_path_str(key)

source

fn effective_visibilities( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: effective_visibilities<'tcx>, mode: QueryMode ) -> Option<&'tcx EffectiveVisibilities>

Performs part of the privacy check and computes effective visibilities.

source

fn check_private_in_public( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_private_in_public<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking for private elements in public interfaces

source

fn reachable_set( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: reachable_set<'tcx>, mode: QueryMode ) -> Option<&'tcx LocalDefIdSet>

[query description - consider adding a doc-comment!] reachability

source

fn region_scope_tree( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: region_scope_tree<'tcx>, mode: QueryMode ) -> Option<&'tcx ScopeTree>

Per-body region::ScopeTree. The DefId should be the owner DefId for the body; in the case of closures, this will be redirected to the enclosing function.

source

fn mir_shims( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: mir_shims<'tcx>, mode: QueryMode ) -> Option<&'tcx Body<'tcx>>

Generates a MIR body for the shim.

source

fn symbol_name( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: symbol_name<'tcx>, mode: QueryMode ) -> Option<SymbolName<'tcx>>

The symbol_name query provides the symbol name for calling a given instance from the local crate. In particular, it will also look up the correct symbol name of instances from upstream crates.

source

fn opt_def_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: opt_def_kind<'tcx>, mode: QueryMode ) -> Option<Option<DefKind>>

[query description - consider adding a doc-comment!] looking up definition kind of tcx.def_path_str(def_id)

source

fn def_span( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: def_span<'tcx>, mode: QueryMode ) -> Option<Span>

Gets the span for the definition.

source

fn def_ident_span( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: def_ident_span<'tcx>, mode: QueryMode ) -> Option<Option<Span>>

Gets the span for the identifier of the definition.

source

fn lookup_stability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_stability<'tcx>, mode: QueryMode ) -> Option<Option<Stability>>

[query description - consider adding a doc-comment!] looking up stability of tcx.def_path_str(def_id)

source

fn lookup_const_stability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_const_stability<'tcx>, mode: QueryMode ) -> Option<Option<ConstStability>>

[query description - consider adding a doc-comment!] looking up const stability of tcx.def_path_str(def_id)

source

fn lookup_default_body_stability( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_default_body_stability<'tcx>, mode: QueryMode ) -> Option<Option<DefaultBodyStability>>

[query description - consider adding a doc-comment!] looking up default body stability of tcx.def_path_str(def_id)

source

fn should_inherit_track_caller( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: should_inherit_track_caller<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] computing should_inherit_track_caller of tcx.def_path_str(def_id)

source

fn lookup_deprecation_entry( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lookup_deprecation_entry<'tcx>, mode: QueryMode ) -> Option<Option<DeprecationEntry>>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is deprecated

source

fn is_doc_hidden( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_doc_hidden<'tcx>, mode: QueryMode ) -> Option<bool>

Determines whether an item is annotated with doc(hidden).

source

fn is_doc_notable_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_doc_notable_trait<'tcx>, mode: QueryMode ) -> Option<bool>

Determines whether an item is annotated with doc(notable_trait).

source

fn item_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: item_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx [Attribute]>

Returns the attributes on the item at def_id.

Do not use this directly, use tcx.get_attrs instead.

source

fn codegen_fn_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegen_fn_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx CodegenFnAttrs>

[query description - consider adding a doc-comment!] computing codegen attributes of tcx.def_path_str(def_id)

source

fn asm_target_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: asm_target_features<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexSet<Symbol>>

[query description - consider adding a doc-comment!] computing target features for inline asm of tcx.def_path_str(def_id)

source

fn fn_arg_names( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_arg_names<'tcx>, mode: QueryMode ) -> Option<&'tcx [Ident]>

[query description - consider adding a doc-comment!] looking up function parameter names for tcx.def_path_str(def_id)

source

fn rendered_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: rendered_const<'tcx>, mode: QueryMode ) -> Option<&'tcx String>

Gets the rendered value of the specified constant or associated constant. Used by rustdoc.

source

fn impl_parent( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_parent<'tcx>, mode: QueryMode ) -> Option<Option<DefId>>

[query description - consider adding a doc-comment!] computing specialization parent impl of tcx.def_path_str(def_id)

source

fn is_ctfe_mir_available( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_ctfe_mir_available<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if item has CTFE MIR available: tcx.def_path_str(key)

source

fn is_mir_available( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_mir_available<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if item has MIR available: tcx.def_path_str(key)

source

fn own_existential_vtable_entries( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: own_existential_vtable_entries<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

[query description - consider adding a doc-comment!] finding all existential vtable entries for trait tcx.def_path_str(key)

source

fn vtable_entries( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: vtable_entries<'tcx>, mode: QueryMode ) -> Option<&'tcx [VtblEntry<'tcx>]>

[query description - consider adding a doc-comment!] finding all vtable entries for trait tcx.def_path_str(key.def_id())

source

fn vtable_trait_upcasting_coercion_new_vptr_slot( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: vtable_trait_upcasting_coercion_new_vptr_slot<'tcx>, mode: QueryMode ) -> Option<Option<usize>>

[query description - consider adding a doc-comment!] finding the slot within vtable for trait object key.1 vtable ptr during trait upcasting coercion from key.0 vtable

source

fn vtable_allocation( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: vtable_allocation<'tcx>, mode: QueryMode ) -> Option<AllocId>

[query description - consider adding a doc-comment!] vtable const allocation for < key.0 as key.1.map(| trait_ref | format! ("{}", trait_ref)).unwrap_or("_".to_owned()) >

source

fn codegen_select_candidate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegen_select_candidate<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx ImplSource<'tcx, ()>, CodegenObligationError>>

[query description - consider adding a doc-comment!] computing candidate for key.1

source

fn all_local_trait_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: all_local_trait_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexMap<DefId, Vec<LocalDefId>>>

Return all impl blocks in the current crate.

source

fn trait_impls_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_impls_of<'tcx>, mode: QueryMode ) -> Option<&'tcx TraitImpls>

Given a trait trait_id, return all known impl blocks.

source

fn specialization_graph_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: specialization_graph_of<'tcx>, mode: QueryMode ) -> Option<&'tcx Graph>

[query description - consider adding a doc-comment!] building specialization graph of trait tcx.def_path_str(trait_id)

source

fn object_safety_violations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: object_safety_violations<'tcx>, mode: QueryMode ) -> Option<&'tcx [ObjectSafetyViolation]>

[query description - consider adding a doc-comment!] determining object safety of trait tcx.def_path_str(trait_id)

source

fn check_is_object_safe( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_is_object_safe<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if trait tcx.def_path_str(trait_id) is object safe

source

fn param_env( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: param_env<'tcx>, mode: QueryMode ) -> Option<ParamEnv<'tcx>>

Gets the ParameterEnvironment for a given item; this environment will be in “user-facing” mode, meaning that it is suitable for type-checking etc, and it does not normalize specializable associated types. This is almost always what you want, unless you are doing MIR optimizations, in which case you might want to use reveal_all() method to change modes.

source

fn param_env_reveal_all_normalized( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: param_env_reveal_all_normalized<'tcx>, mode: QueryMode ) -> Option<ParamEnv<'tcx>>

Like param_env, but returns the ParamEnv in Reveal::All mode. Prefer this over tcx.param_env(def_id).with_reveal_all_normalized(tcx), as this method is more efficient.

source

fn is_copy_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_copy_raw<'tcx>, mode: QueryMode ) -> Option<bool>

Trait selection queries. These are best used by invoking ty.is_copy_modulo_regions(), ty.is_copy(), etc, since that will prune the environment where possible.

source

fn is_sized_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_sized_raw<'tcx>, mode: QueryMode ) -> Option<bool>

Query backing Ty::is_sized.

source

fn is_freeze_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_freeze_raw<'tcx>, mode: QueryMode ) -> Option<bool>

Query backing Ty::is_freeze.

source

fn is_unpin_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_unpin_raw<'tcx>, mode: QueryMode ) -> Option<bool>

Query backing Ty::is_unpin.

source

fn needs_drop_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: needs_drop_raw<'tcx>, mode: QueryMode ) -> Option<bool>

Query backing Ty::needs_drop.

source

fn has_significant_drop_raw( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_significant_drop_raw<'tcx>, mode: QueryMode ) -> Option<bool>

Query backing Ty::has_significant_drop_raw.

source

fn has_structural_eq_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_structural_eq_impls<'tcx>, mode: QueryMode ) -> Option<bool>

Query backing Ty::is_structural_eq_shallow.

This is only correct for ADTs. Call is_structural_eq_shallow to handle all types correctly.

source

fn adt_drop_tys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_drop_tys<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>

A list of types where the ADT requires drop if and only if any of those types require drop. If the ADT is known to always need drop then Err(AlwaysRequiresDrop) is returned.

source

fn adt_significant_drop_tys( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: adt_significant_drop_tys<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx List<Ty<'tcx>>, AlwaysRequiresDrop>>

A list of types where the ADT requires drop if and only if any of those types has significant drop. A type marked with the attribute rustc_insignificant_dtor is considered to not be significant. A drop is significant if it is implemented by the user or does anything that will have any observable behavior (other than freeing up memory). If the ADT is known to have a significant destructor then Err(AlwaysRequiresDrop) is returned.

source

fn layout_of( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: layout_of<'tcx>, mode: QueryMode ) -> Option<Result<TyAndLayout<'tcx>, LayoutError<'tcx>>>

Computes the layout of a type. Note that this implicitly executes in “reveal all” mode, and will normalize the input type.

source

fn fn_abi_of_fn_ptr( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_abi_of_fn_ptr<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, FnAbiError<'tcx>>>

Compute a FnAbi suitable for indirect calls, i.e. to fn pointers.

NB: this doesn’t handle virtual calls - those should use fn_abi_of_instance instead, where the instance is an InstanceDef::Virtual.

source

fn fn_abi_of_instance( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: fn_abi_of_instance<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx FnAbi<'tcx, Ty<'tcx>>, FnAbiError<'tcx>>>

Compute a FnAbi suitable for declaring/defining an fn instance, and for direct calls to an fn.

NB: that includes virtual calls, which are represented by “direct calls” to an InstanceDef::Virtual instance (of <dyn Trait as Trait>::fn).

source

fn dylib_dependency_formats( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dylib_dependency_formats<'tcx>, mode: QueryMode ) -> Option<&'tcx [(CrateNum, LinkagePreference)]>

[query description - consider adding a doc-comment!] getting dylib dependency formats of crate

source

fn dependency_formats( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dependency_formats<'tcx>, mode: QueryMode ) -> Option<&'tcx Lrc<Dependencies>>

[query description - consider adding a doc-comment!] getting the linkage format of all dependencies

source

fn is_compiler_builtins( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_compiler_builtins<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if the crate is_compiler_builtins

source

fn has_global_allocator( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_global_allocator<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if the crate has_global_allocator

source

fn has_alloc_error_handler( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_alloc_error_handler<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if the crate has_alloc_error_handler

source

fn has_panic_handler( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_panic_handler<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if the crate has_panic_handler

source

fn is_profiler_runtime( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_profiler_runtime<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if a crate is #![profiler_runtime]

source

fn has_ffi_unwind_calls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: has_ffi_unwind_calls<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.to_def_id()) contains FFI-unwind calls

source

fn required_panic_strategy( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: required_panic_strategy<'tcx>, mode: QueryMode ) -> Option<Option<PanicStrategy>>

[query description - consider adding a doc-comment!] getting a crate’s required panic strategy

source

fn panic_in_drop_strategy( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: panic_in_drop_strategy<'tcx>, mode: QueryMode ) -> Option<PanicStrategy>

[query description - consider adding a doc-comment!] getting a crate’s configured panic-in-drop strategy

source

fn is_no_builtins( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_no_builtins<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] getting whether a crate has #![no_builtins]

source

fn symbol_mangling_version( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: symbol_mangling_version<'tcx>, mode: QueryMode ) -> Option<SymbolManglingVersion>

[query description - consider adding a doc-comment!] getting a crate’s symbol mangling version

source

fn extern_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: extern_crate<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx ExternCrate>>

[query description - consider adding a doc-comment!] getting crate’s ExternCrateData

source

fn specializes( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: specializes<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] computing whether impls specialize one another

source

fn in_scope_traits_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: in_scope_traits_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<ItemLocalId, Box<[TraitCandidate]>>>>

[query description - consider adding a doc-comment!] getting traits in scope at a block

source

fn module_reexports( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: module_reexports<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx [ModChild]>>

[query description - consider adding a doc-comment!] looking up reexports of module tcx.def_path_str(def_id.to_def_id())

source

fn impl_defaultness( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: impl_defaultness<'tcx>, mode: QueryMode ) -> Option<Defaultness>

[query description - consider adding a doc-comment!] looking up whether tcx.def_path_str(def_id) is a default impl

source

fn check_well_formed( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_well_formed<'tcx>, mode: QueryMode ) -> Option<()>

[query description - consider adding a doc-comment!] checking that tcx.def_path_str(key.to_def_id()) is well-formed

source

fn reachable_non_generics( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: reachable_non_generics<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<SymbolExportInfo>>

[query description - consider adding a doc-comment!] looking up the exported symbols of a crate

source

fn is_reachable_non_generic( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_reachable_non_generic<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id) is an exported symbol

source

fn is_unreachable_local_definition( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_unreachable_local_definition<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking whether tcx.def_path_str(def_id.to_def_id()) is reachable from outside the crate

source

fn upstream_monomorphizations( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upstream_monomorphizations<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<FxHashMap<SubstsRef<'tcx>, CrateNum>>>

The entire set of monomorphizations the local crate can safely link to because they are exported from upstream crates. Do not depend on this directly, as its value changes anytime a monomorphization gets added or removed in any upstream crate. Instead use the narrower upstream_monomorphizations_for, upstream_drop_glue_for, or, even better, Instance::upstream_monomorphization().

source

fn upstream_monomorphizations_for( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upstream_monomorphizations_for<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<SubstsRef<'tcx>, CrateNum>>>

Returns the set of upstream monomorphizations available for the generic function identified by the given def_id. The query makes sure to make a stable selection if the same monomorphization is available in multiple upstream crates.

You likely want to call Instance::upstream_monomorphization() instead of invoking this query directly.

source

fn upstream_drop_glue_for( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upstream_drop_glue_for<'tcx>, mode: QueryMode ) -> Option<Option<CrateNum>>

Returns the upstream crate that exports drop-glue for the given type (substs is expected to be a single-item list containing the type one wants drop-glue for).

This is a subset of upstream_monomorphizations_for in order to increase dep-tracking granularity. Otherwise adding or removing any type with drop-glue in any upstream crate would invalidate all functions calling drop-glue of an upstream type.

You likely want to call Instance::upstream_monomorphization() instead of invoking this query directly.

NOTE: This query could easily be extended to also support other common functions that have are large set of monomorphizations (like Clone::clone for example).

source

fn foreign_modules( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: foreign_modules<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<DefId, ForeignModule>>

Returns a list of all extern blocks of a crate.

source

fn entry_fn( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: entry_fn<'tcx>, mode: QueryMode ) -> Option<Option<(DefId, EntryFnType)>>

Identifies the entry-point (e.g., the main function) for a given crate, returning None if there is no entry point (such as for library crates).

source

fn proc_macro_decls_static( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: proc_macro_decls_static<'tcx>, mode: QueryMode ) -> Option<Option<LocalDefId>>

Finds the rustc_proc_macro_decls item of a crate.

source

fn crate_hash( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_hash<'tcx>, mode: QueryMode ) -> Option<Svh>

[query description - consider adding a doc-comment!] looking up the hash a crate

source

fn crate_host_hash( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_host_hash<'tcx>, mode: QueryMode ) -> Option<Option<Svh>>

Gets the hash for the host proc macro. Used to support -Z dual-proc-macro.

source

fn extra_filename( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: extra_filename<'tcx>, mode: QueryMode ) -> Option<&'tcx String>

Gets the extra data to put in each output filename for a crate. For example, compiling the foo crate with extra-filename=-a creates a libfoo-b.rlib file.

source

fn crate_extern_paths( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_extern_paths<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<PathBuf>>

Gets the paths where the crate came from in the file system.

source

fn implementations_of_trait( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: implementations_of_trait<'tcx>, mode: QueryMode ) -> Option<&'tcx [(DefId, Option<SimplifiedType>)]>

Given a crate and a trait, look up all impls of that trait in the crate. Return (impl_id, self_ty).

source

fn crate_incoherent_impls( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_incoherent_impls<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

Collects all incoherent impls for the given crate and type.

Do not call this directly, but instead use the incoherent_impls query. This query is only used to get the data necessary for that query.

source

fn native_library( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: native_library<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx NativeLib>>

Get the corresponding native library from the native_libraries query

source

fn resolve_bound_vars( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolve_bound_vars<'tcx>, mode: QueryMode ) -> Option<&'tcx ResolveBoundVars>

Does lifetime resolution on items. Importantly, we can’t resolve lifetimes directly on things like trait methods, because of trait params. See rustc_resolve::late::lifetimes for details.

source

fn named_variable_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: named_variable_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<ItemLocalId, ResolvedArg>>>

[query description - consider adding a doc-comment!] looking up a named region

source

fn is_late_bound_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_late_bound_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxIndexSet<ItemLocalId>>>

[query description - consider adding a doc-comment!] testing if a region is late bound

source

fn object_lifetime_default( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: object_lifetime_default<'tcx>, mode: QueryMode ) -> Option<ObjectLifetimeDefault>

For a given item’s generic parameter, gets the default lifetimes to be used for each parameter if a trait object were to be passed for that parameter. For example, for T in struct Foo<'a, T>, this would be 'static. For T in struct Foo<'a, T: 'a>, this would instead be 'a. This query will panic if passed something that is not a type parameter.

source

fn late_bound_vars_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: late_bound_vars_map<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxHashMap<ItemLocalId, Vec<BoundVariableKind>>>>

[query description - consider adding a doc-comment!] looking up late bound vars

source

fn visibility( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: visibility<'tcx>, mode: QueryMode ) -> Option<Visibility<DefId>>

Computes the visibility of the provided def_id.

If the item from the def_id doesn’t have a visibility, it will panic. For example a generic type parameter will panic if you call this method on it:

use std::fmt::Debug;

pub trait Foo<T: Debug> {}

In here, if you call visibility on T, it’ll panic.

source

fn inhabited_predicate_adt( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inhabited_predicate_adt<'tcx>, mode: QueryMode ) -> Option<InhabitedPredicate<'tcx>>

[query description - consider adding a doc-comment!] computing the uninhabited predicate of {:?}

source

fn inhabited_predicate_type( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: inhabited_predicate_type<'tcx>, mode: QueryMode ) -> Option<InhabitedPredicate<'tcx>>

Do not call this query directly: invoke Ty::inhabited_predicate instead.

source

fn dep_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dep_kind<'tcx>, mode: QueryMode ) -> Option<CrateDepKind>

[query description - consider adding a doc-comment!] fetching what a dependency looks like

source

fn crate_name( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_name<'tcx>, mode: QueryMode ) -> Option<Symbol>

Gets the name of the crate.

source

fn module_children( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: module_children<'tcx>, mode: QueryMode ) -> Option<&'tcx [ModChild]>

[query description - consider adding a doc-comment!] collecting child items of module tcx.def_path_str(def_id)

source

fn extern_mod_stmt_cnum( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: extern_mod_stmt_cnum<'tcx>, mode: QueryMode ) -> Option<Option<CrateNum>>

[query description - consider adding a doc-comment!] computing crate imported by tcx.def_path_str(def_id.to_def_id())

source

fn lib_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: lib_features<'tcx>, mode: QueryMode ) -> Option<&'tcx LibFeatures>

[query description - consider adding a doc-comment!] calculating the lib features map

source

fn defined_lib_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: defined_lib_features<'tcx>, mode: QueryMode ) -> Option<&'tcx [(Symbol, Option<Symbol>)]>

[query description - consider adding a doc-comment!] calculating the lib features defined in a crate

source

fn stability_implications( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: stability_implications<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<Symbol, Symbol>>

[query description - consider adding a doc-comment!] calculating the implications between #[unstable] features defined in a crate

source

fn is_intrinsic( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_intrinsic<'tcx>, mode: QueryMode ) -> Option<bool>

Whether the function is an intrinsic

source

fn get_lang_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: get_lang_items<'tcx>, mode: QueryMode ) -> Option<&'tcx LanguageItems>

Returns the lang items defined in another crate by loading it from metadata.

source

fn all_diagnostic_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: all_diagnostic_items<'tcx>, mode: QueryMode ) -> Option<&'tcx DiagnosticItems>

Returns all diagnostic items defined in all crates.

source

fn defined_lang_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: defined_lang_items<'tcx>, mode: QueryMode ) -> Option<&'tcx [(DefId, LangItem)]>

Returns the lang items defined in another crate by loading it from metadata.

source

fn diagnostic_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: diagnostic_items<'tcx>, mode: QueryMode ) -> Option<&'tcx DiagnosticItems>

Returns the diagnostic items defined in a crate.

source

fn missing_lang_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: missing_lang_items<'tcx>, mode: QueryMode ) -> Option<&'tcx [LangItem]>

[query description - consider adding a doc-comment!] calculating the missing lang items in a crate

source

fn visible_parent_map( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: visible_parent_map<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdMap<DefId>>

[query description - consider adding a doc-comment!] calculating the visible parent map

source

fn trimmed_def_paths( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trimmed_def_paths<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<DefId, Symbol>>

[query description - consider adding a doc-comment!] calculating trimmed def paths

source

fn missing_extern_crate_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: missing_extern_crate_item<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] seeing if we’re missing an extern crate item for this crate

source

fn used_crate_source( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: used_crate_source<'tcx>, mode: QueryMode ) -> Option<&'tcx Lrc<CrateSource>>

[query description - consider adding a doc-comment!] looking at the source for a crate

source

fn debugger_visualizers( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: debugger_visualizers<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<DebuggerVisualizerFile>>

Returns the debugger visualizers defined for this crate.

source

fn postorder_cnums( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: postorder_cnums<'tcx>, mode: QueryMode ) -> Option<&'tcx [CrateNum]>

[query description - consider adding a doc-comment!] generating a postorder list of CrateNums

source

fn is_private_dep( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_private_dep<'tcx>, mode: QueryMode ) -> Option<bool>

Returns whether or not the crate with CrateNum ‘cnum’ is marked as a private dependency

source

fn allocator_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: allocator_kind<'tcx>, mode: QueryMode ) -> Option<Option<AllocatorKind>>

[query description - consider adding a doc-comment!] getting the allocator kind for the current crate

source

fn alloc_error_handler_kind( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: alloc_error_handler_kind<'tcx>, mode: QueryMode ) -> Option<Option<AllocatorKind>>

[query description - consider adding a doc-comment!] alloc error handler kind for the current crate

source

fn upvars_mentioned( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: upvars_mentioned<'tcx>, mode: QueryMode ) -> Option<Option<&'tcx FxIndexMap<HirId, Upvar>>>

[query description - consider adding a doc-comment!] collecting upvars mentioned in tcx.def_path_str(def_id)

source

fn maybe_unused_trait_imports( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: maybe_unused_trait_imports<'tcx>, mode: QueryMode ) -> Option<&'tcx FxIndexSet<LocalDefId>>

[query description - consider adding a doc-comment!] fetching potentially unused trait imports

source

fn names_imported_by_glob_use( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: names_imported_by_glob_use<'tcx>, mode: QueryMode ) -> Option<&'tcx UnordSet<Symbol>>

[query description - consider adding a doc-comment!] finding names imported by glob use for tcx.def_path_str(def_id.to_def_id())

source

fn stability_index( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: stability_index<'tcx>, mode: QueryMode ) -> Option<&'tcx Index>

[query description - consider adding a doc-comment!] calculating the stability index for the local crate

source

fn crates( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crates<'tcx>, mode: QueryMode ) -> Option<&'tcx [CrateNum]>

[query description - consider adding a doc-comment!] fetching all foreign CrateNum instances

source

fn traits_in_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: traits_in_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

A list of all traits in a crate, used by rustdoc and error reporting. NOTE: Not named just traits due to a naming conflict.

source

fn trait_impls_in_crate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: trait_impls_in_crate<'tcx>, mode: QueryMode ) -> Option<&'tcx [DefId]>

[query description - consider adding a doc-comment!] fetching all trait impls in a crate

source

fn exported_symbols( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: exported_symbols<'tcx>, mode: QueryMode ) -> Option<&'tcx [(ExportedSymbol<'tcx>, SymbolExportInfo)]>

The list of symbols exported from the given crate.

  • All names contained in exported_symbols(cnum) are guaranteed to correspond to a publicly visible symbol in cnum machine code.
  • The exported_symbols sets of different crates do not intersect.
source

fn collect_and_partition_mono_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: collect_and_partition_mono_items<'tcx>, mode: QueryMode ) -> Option<(&'tcx DefIdSet, &'tcx [CodegenUnit<'tcx>])>

[query description - consider adding a doc-comment!] collect_and_partition_mono_items

source

fn is_codegened_item( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_codegened_item<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] determining whether tcx.def_path_str(def_id) needs codegen

source

fn codegened_and_inlined_items( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegened_and_inlined_items<'tcx>, mode: QueryMode ) -> Option<&'tcx DefIdSet>

All items participating in code generation together with items inlined into them.

source

fn codegen_unit( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: codegen_unit<'tcx>, mode: QueryMode ) -> Option<&'tcx CodegenUnit<'tcx>>

[query description - consider adding a doc-comment!] getting codegen unit {sym}

source

fn unused_generic_params( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: unused_generic_params<'tcx>, mode: QueryMode ) -> Option<UnusedGenericParams>

[query description - consider adding a doc-comment!] determining which generic parameters are unused by tcx.def_path_str(key.def_id())

source

fn backend_optimization_level( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: backend_optimization_level<'tcx>, mode: QueryMode ) -> Option<OptLevel>

[query description - consider adding a doc-comment!] optimization level used by backend

source

fn output_filenames( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: output_filenames<'tcx>, mode: QueryMode ) -> Option<&'tcx Arc<OutputFilenames>>

Return the filenames where output artefacts shall be stored.

This query returns an &Arc because codegen backends need the value even after the TyCtxt has been destroyed.

source

fn normalize_projection_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: normalize_projection_ty<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>, NoSolution>>

Do not call this query directly: invoke normalize instead.

source

fn try_normalize_generic_arg_after_erasing_regions( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: try_normalize_generic_arg_after_erasing_regions<'tcx>, mode: QueryMode ) -> Option<Result<GenericArg<'tcx>, NoSolution>>

Do not call this query directly: invoke try_normalize_erasing_regions instead.

source

fn implied_outlives_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: implied_outlives_bounds<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>, NoSolution>>

[query description - consider adding a doc-comment!] computing implied outlives bounds for goal.value.value

source

fn dropck_outlives( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: dropck_outlives<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>, NoSolution>>

Do not call this query directly: invoke DropckOutlives::new(dropped_ty)).fully_perform(typeck.infcx) instead.

source

fn evaluate_obligation( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: evaluate_obligation<'tcx>, mode: QueryMode ) -> Option<Result<EvaluationResult, OverflowError>>

Do not call this query directly: invoke infcx.predicate_may_hold() or infcx.predicate_must_hold() instead.

source

fn evaluate_goal( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: evaluate_goal<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

[query description - consider adding a doc-comment!] evaluating trait selection obligation goal.value

source

fn type_op_ascribe_user_type( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_ascribe_user_type<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

Do not call this query directly: part of the Eq type-op

source

fn type_op_eq( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_eq<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

Do not call this query directly: part of the Eq type-op

source

fn type_op_subtype( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_subtype<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

Do not call this query directly: part of the Subtype type-op

source

fn type_op_prove_predicate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_prove_predicate<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>

Do not call this query directly: part of the ProvePredicate type-op

source

fn type_op_normalize_ty( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_ty<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>>

Do not call this query directly: part of the Normalize type-op

source

fn type_op_normalize_predicate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_predicate<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>>

Do not call this query directly: part of the Normalize type-op

source

fn type_op_normalize_poly_fn_sig( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_poly_fn_sig<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>>

Do not call this query directly: part of the Normalize type-op

source

fn type_op_normalize_fn_sig( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: type_op_normalize_fn_sig<'tcx>, mode: QueryMode ) -> Option<Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>, NoSolution>>

Do not call this query directly: part of the Normalize type-op

source

fn subst_and_check_impossible_predicates( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: subst_and_check_impossible_predicates<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking impossible substituted predicates: tcx.def_path_str(key.0)

source

fn is_impossible_method( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: is_impossible_method<'tcx>, mode: QueryMode ) -> Option<bool>

[query description - consider adding a doc-comment!] checking if tcx.def_path_str(key.1) is impossible to call within tcx.def_path_str(key.0)

source

fn method_autoderef_steps( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: method_autoderef_steps<'tcx>, mode: QueryMode ) -> Option<MethodAutoderefStepsResult<'tcx>>

[query description - consider adding a doc-comment!] computing autoderef types for goal.value.value

source

fn supported_target_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: supported_target_features<'tcx>, mode: QueryMode ) -> Option<&'tcx FxHashMap<String, Option<Symbol>>>

[query description - consider adding a doc-comment!] looking up supported target features

source

fn instance_def_size_estimate( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: instance_def_size_estimate<'tcx>, mode: QueryMode ) -> Option<usize>

Get an estimate of the size of an InstanceDef based on its MIR for CGU partitioning.

source

fn features_query( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: features_query<'tcx>, mode: QueryMode ) -> Option<&'tcx Features>

[query description - consider adding a doc-comment!] looking up enabled feature gates

source

fn metadata_loader( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: metadata_loader<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<Box<MetadataLoaderDyn>>>

[query description - consider adding a doc-comment!] raw operations for metadata file access

source

fn crate_for_resolver( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: crate_for_resolver<'tcx>, mode: QueryMode ) -> Option<&'tcx Steal<(Crate, AttrVec)>>

[query description - consider adding a doc-comment!] the ast before macro expansion and name resolution

source

fn resolve_instance( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolve_instance<'tcx>, mode: QueryMode ) -> Option<Result<Option<Instance<'tcx>>, ErrorGuaranteed>>

Attempt to resolve the given DefId to an Instance, for the given generics args (SubstsRef), returning one of:

  • Ok(Some(instance)) on success
  • Ok(None) when the SubstsRef are still too generic, and therefore don’t allow finding the final Instance
  • Err(ErrorGuaranteed) when the Instance resolution process couldn’t complete due to errors elsewhere - this is distinct from Ok(None) to avoid misleading diagnostics when an error has already been/will be emitted, for the original cause
source

fn resolve_instance_of_const_arg( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: resolve_instance_of_const_arg<'tcx>, mode: QueryMode ) -> Option<Result<Option<Instance<'tcx>>, ErrorGuaranteed>>

[query description - consider adding a doc-comment!] resolving instance of the const argument ty :: Instance :: new(key.value.0.to_def_id(), key.value.2)

source

fn reveal_opaque_types_in_bounds( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: reveal_opaque_types_in_bounds<'tcx>, mode: QueryMode ) -> Option<&'tcx List<Predicate<'tcx>>>

[query description - consider adding a doc-comment!] revealing opaque types in {:?}

source

fn limits( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: limits<'tcx>, mode: QueryMode ) -> Option<Limits>

[query description - consider adding a doc-comment!] looking up limits

source

fn diagnostic_hir_wf_check( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: diagnostic_hir_wf_check<'tcx>, mode: QueryMode ) -> Option<&'tcx Option<ObligationCause<'tcx>>>

Performs an HIR-based well-formed check on the item with the given HirId. If we get an Unimplemented error that matches the provided Predicate, return the cause of the newly created obligation.

This is only used by error-reporting code to get a better cause (in particular, a better span) for an existing error. Therefore, it is best-effort, and may never handle all of the cases that the normal ty::Ty-based wfcheck does. This is fine, because the ty::Ty-based wfcheck is always run.

source

fn global_backend_features( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: global_backend_features<'tcx>, mode: QueryMode ) -> Option<&'tcx Vec<String>>

The list of backend features computed from CLI flags (-Ctarget-cpu, -Ctarget-feature, --target and similar).

source

fn generator_diagnostic_data( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: generator_diagnostic_data<'tcx>, mode: QueryMode ) -> Option<&'tcx Option<GeneratorDiagnosticData<'tcx>>>

[query description - consider adding a doc-comment!] looking up generator diagnostic data of tcx.def_path_str(key)

source

fn check_validity_requirement( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_validity_requirement<'tcx>, mode: QueryMode ) -> Option<Result<bool, LayoutError<'tcx>>>

[query description - consider adding a doc-comment!] checking validity requirement for key.1.value : key.0

source

fn compare_impl_const( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: compare_impl_const<'tcx>, mode: QueryMode ) -> Option<Result<(), ErrorGuaranteed>>

[query description - consider adding a doc-comment!] checking assoc const tcx.def_path_str(key.0.to_def_id()) has the same type as trait item

source

fn deduced_param_attrs( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: deduced_param_attrs<'tcx>, mode: QueryMode ) -> Option<&'tcx [DeducedParamAttrs]>

[query description - consider adding a doc-comment!] deducing parameter attributes for tcx.def_path_str(def_id)

[query description - consider adding a doc-comment!] resolutions for documentation links for a module

[query description - consider adding a doc-comment!] traits in scope for documentation links for a module

source

fn check_tys_might_be_eq( &'tcx self, tcx: TyCtxt<'tcx>, span: Span, key: check_tys_might_be_eq<'tcx>, mode: QueryMode ) -> Option<Result<(), NoSolution>>

Used in super_combine_consts to ICE if the type of the two consts are definitely not going to end up being equal to eachother. This might return Ok even if the types are not equal, but will never return Err if the types might be equal.

Implementors§