Struct rustc_middle::ty::query::TyCtxtEnsure

pub struct TyCtxtEnsure<'tcx> {
    pub tcx: TyCtxt<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> TyCtxtEnsure<'tcx>

pub fn trigger_delay_span_bug(self, key: impl IntoQueryParam<DefId>)

pub fn hir_crate(self, key: CrateNum)

pub fn index_hir(self, key: CrateNum)

pub fn hir_module_items(self, key: LocalDefId)

pub fn hir_owner(self, key: LocalDefId)

pub fn hir_owner_nodes(self, key: LocalDefId)

pub fn opt_const_param_of(self, key: LocalDefId)

pub fn type_of(self, key: impl IntoQueryParam<DefId>)

pub fn analysis(self, key: CrateNum)

pub fn generics_of(self, key: impl IntoQueryParam<DefId>)

pub fn predicates_of(self, key: impl IntoQueryParam<DefId>)

pub fn projection_predicates(self, key: impl IntoQueryParam<DefId>)

pub fn native_libraries(self, key: CrateNum)

pub fn lint_levels(self, key: CrateNum)

pub fn parent_module_from_def_id(self, key: LocalDefId)

pub fn is_panic_runtime(self, key: CrateNum)

pub fn mir_keys(self, key: CrateNum)

pub fn mir_const_qualif(self, key: impl IntoQueryParam<DefId>)

pub fn mir_const_qualif_const_arg(self, key: (LocalDefId, DefId))

pub fn mir_built(self, key: WithOptConstParam<LocalDefId>)

pub fn mir_const(self, key: WithOptConstParam<LocalDefId>)

pub fn mir_drops_elaborated_and_const_checked(
    self,
    key: WithOptConstParam<LocalDefId>
)

pub fn mir_promoted(self, key: WithOptConstParam<LocalDefId>)

pub fn optimized_mir(self, key: impl IntoQueryParam<DefId>)

pub fn optimized_mir_of_const_arg(self, key: (LocalDefId, DefId))

pub fn coverageinfo(self, key: impl IntoQueryParam<DefId>)

pub fn promoted_mir(self, key: impl IntoQueryParam<DefId>)

pub fn promoted_mir_of_const_arg(self, key: (LocalDefId, DefId))

pub fn erase_regions_ty(self, key: Ty<'tcx>)

pub fn wasm_import_module_map(self, key: CrateNum)

pub fn predicates_defined_on(self, key: impl IntoQueryParam<DefId>)

pub fn explicit_predicates_of(self, key: impl IntoQueryParam<DefId>)

pub fn inferred_outlives_of(self, key: impl IntoQueryParam<DefId>)

pub fn super_predicates_of(self, key: impl IntoQueryParam<DefId>)

pub fn type_param_predicates(self, key: (DefId, LocalDefId))

pub fn trait_def(self, key: impl IntoQueryParam<DefId>)

pub fn adt_def(self, key: impl IntoQueryParam<DefId>)

pub fn adt_destructor(self, key: impl IntoQueryParam<DefId>)

pub fn adt_sized_constraint(self, key: impl IntoQueryParam<DefId>)

pub fn adt_dtorck_constraint(self, key: impl IntoQueryParam<DefId>)

pub fn is_const_fn_raw(self, key: impl IntoQueryParam<DefId>)

pub fn is_const_impl_raw(self, key: impl IntoQueryParam<DefId>)

pub fn asyncness(self, key: impl IntoQueryParam<DefId>)

pub fn is_promotable_const_fn(self, key: impl IntoQueryParam<DefId>)

pub fn const_fn_is_allowed_fn_ptr(self, key: impl IntoQueryParam<DefId>)

pub fn is_foreign_item(self, key: impl IntoQueryParam<DefId>)

pub fn static_mutability(self, key: impl IntoQueryParam<DefId>)

pub fn generator_kind(self, key: impl IntoQueryParam<DefId>)

pub fn crate_variances(self, key: CrateNum)

pub fn variances_of(self, key: impl IntoQueryParam<DefId>)

pub fn inferred_outlives_crate(self, key: CrateNum)

pub fn associated_item_def_ids(self, key: impl IntoQueryParam<DefId>)

pub fn associated_item(self, key: impl IntoQueryParam<DefId>)

pub fn associated_items(self, key: impl IntoQueryParam<DefId>)

pub fn impl_trait_ref(self, key: impl IntoQueryParam<DefId>)

pub fn impl_polarity(self, key: impl IntoQueryParam<DefId>)

pub fn issue33140_self_ty(self, key: impl IntoQueryParam<DefId>)

pub fn inherent_impls(self, key: impl IntoQueryParam<DefId>)

pub fn unsafety_check_result(self, key: LocalDefId)

pub fn unsafety_check_result_for_const_arg(self, key: (LocalDefId, DefId))

pub fn unsafe_derive_on_repr_packed(self, key: LocalDefId)

pub fn fn_sig(self, key: impl IntoQueryParam<DefId>)

pub fn lint_mod(self, key: LocalDefId)

pub fn check_mod_attrs(self, key: LocalDefId)

pub fn check_mod_unstable_api_usage(self, key: LocalDefId)

pub fn check_mod_const_bodies(self, key: LocalDefId)

pub fn check_mod_loops(self, key: LocalDefId)

pub fn check_mod_item_types(self, key: LocalDefId)

pub fn check_mod_privacy(self, key: LocalDefId)

pub fn check_mod_intrinsics(self, key: LocalDefId)

pub fn check_mod_liveness(self, key: LocalDefId)

pub fn check_mod_impl_wf(self, key: LocalDefId)

pub fn collect_mod_item_types(self, key: LocalDefId)

pub fn coerce_unsized_info(self, key: impl IntoQueryParam<DefId>)

pub fn typeck_item_bodies(self, key: CrateNum)

pub fn typeck(self, key: LocalDefId)

pub fn typeck_const_arg(self, key: (LocalDefId, DefId))

pub fn diagnostic_only_typeck(self, key: LocalDefId)

pub fn used_trait_imports(self, key: LocalDefId)

pub fn has_typeck_results(self, key: impl IntoQueryParam<DefId>)

pub fn coherent_trait(self, key: impl IntoQueryParam<DefId>)

pub fn mir_borrowck(self, key: LocalDefId)

pub fn mir_borrowck_const_arg(self, key: (LocalDefId, DefId))

pub fn crate_inherent_impls(self, key: CrateNum)

pub fn crate_inherent_impls_overlap_check(self, key: CrateNum)

pub fn const_eval_raw(self, key: ParamEnvAnd<'tcx, GlobalId<'tcx>>)

pub fn const_eval_validated(self, key: ParamEnvAnd<'tcx, GlobalId<'tcx>>)

pub fn destructure_const(self, key: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>)

pub fn const_caller_location(self, key: (Symbol, u32, u32))

pub fn lit_to_const(self, key: LitToConstInput<'tcx>)

pub fn check_match(self, key: impl IntoQueryParam<DefId>)

pub fn privacy_access_levels(self, key: CrateNum)

pub fn check_private_in_public(self, key: CrateNum)

pub fn reachable_set(self, key: CrateNum)

pub fn region_scope_tree(self, key: impl IntoQueryParam<DefId>)

pub fn mir_shims(self, key: InstanceDef<'tcx>)

pub fn symbol_name(self, key: Instance<'tcx>)

pub fn def_kind(self, key: impl IntoQueryParam<DefId>)

pub fn def_span(self, key: impl IntoQueryParam<DefId>)

pub fn lookup_stability(self, key: impl IntoQueryParam<DefId>)

pub fn lookup_const_stability(self, key: impl IntoQueryParam<DefId>)

pub fn lookup_deprecation_entry(self, key: impl IntoQueryParam<DefId>)

pub fn item_attrs(self, key: impl IntoQueryParam<DefId>)

pub fn codegen_fn_attrs(self, key: impl IntoQueryParam<DefId>)

pub fn fn_arg_names(self, key: impl IntoQueryParam<DefId>)

pub fn rendered_const(self, key: impl IntoQueryParam<DefId>)

pub fn impl_parent(self, key: impl IntoQueryParam<DefId>)

pub fn trait_of_item(self, key: impl IntoQueryParam<DefId>)

pub fn is_mir_available(self, key: impl IntoQueryParam<DefId>)

pub fn vtable_methods(self, key: PolyTraitRef<'tcx>)

pub fn codegen_fulfill_obligation(
    self,
    key: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)
)

pub fn all_local_trait_impls(self, key: CrateNum)

pub fn trait_impls_of(self, key: impl IntoQueryParam<DefId>)

pub fn specialization_graph_of(self, key: impl IntoQueryParam<DefId>)

pub fn object_safety_violations(self, key: impl IntoQueryParam<DefId>)

pub fn param_env(self, key: impl IntoQueryParam<DefId>)

pub fn param_env_reveal_all_normalized(self, key: impl IntoQueryParam<DefId>)

pub fn is_copy_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>)

pub fn is_sized_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>)

pub fn is_freeze_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>)

pub fn needs_drop_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>)

pub fn has_structural_eq_impls(self, key: Ty<'tcx>)

pub fn adt_drop_tys(self, key: impl IntoQueryParam<DefId>)

pub fn layout_raw(self, key: ParamEnvAnd<'tcx, Ty<'tcx>>)

pub fn dylib_dependency_formats(self, key: CrateNum)

pub fn dependency_formats(self, key: CrateNum)

pub fn is_compiler_builtins(self, key: CrateNum)

pub fn has_global_allocator(self, key: CrateNum)

pub fn has_panic_handler(self, key: CrateNum)

pub fn is_profiler_runtime(self, key: CrateNum)

pub fn panic_strategy(self, key: CrateNum)

pub fn is_no_builtins(self, key: CrateNum)

pub fn symbol_mangling_version(self, key: CrateNum)

pub fn extern_crate(self, key: impl IntoQueryParam<DefId>)

pub fn specializes(self, key: (DefId, DefId))

pub fn in_scope_traits_map(self, key: LocalDefId)

pub fn module_exports(self, key: LocalDefId)

pub fn impl_defaultness(self, key: impl IntoQueryParam<DefId>)

pub fn check_item_well_formed(self, key: LocalDefId)

pub fn check_trait_item_well_formed(self, key: LocalDefId)

pub fn check_impl_item_well_formed(self, key: LocalDefId)

pub fn reachable_non_generics(self, key: CrateNum)

pub fn is_reachable_non_generic(self, key: impl IntoQueryParam<DefId>)

pub fn is_unreachable_local_definition(self, key: impl IntoQueryParam<DefId>)

pub fn upstream_monomorphizations(self, key: CrateNum)

pub fn upstream_monomorphizations_for(self, key: impl IntoQueryParam<DefId>)

pub fn upstream_drop_glue_for(self, key: SubstsRef<'tcx>)

pub fn foreign_modules(self, key: CrateNum)

pub fn entry_fn(self, key: CrateNum)

pub fn plugin_registrar_fn(self, key: CrateNum)

pub fn proc_macro_decls_static(self, key: CrateNum)

pub fn crate_disambiguator(self, key: CrateNum)

pub fn crate_hash(self, key: CrateNum)

pub fn crate_host_hash(self, key: CrateNum)

pub fn original_crate_name(self, key: CrateNum)

pub fn extra_filename(self, key: CrateNum)

pub fn crate_extern_paths(self, key: CrateNum)

pub fn implementations_of_trait(self, key: (CrateNum, DefId))

pub fn all_trait_implementations(self, key: CrateNum)

pub fn dllimport_foreign_items(self, key: CrateNum)

pub fn is_dllimport_foreign_item(self, key: impl IntoQueryParam<DefId>)

pub fn is_statically_included_foreign_item(
    self,
    key: impl IntoQueryParam<DefId>
)

pub fn native_library_kind(self, key: impl IntoQueryParam<DefId>)

pub fn link_args(self, key: CrateNum)

pub fn resolve_lifetimes(self, key: CrateNum)

pub fn named_region_map(self, key: LocalDefId)

pub fn is_late_bound_map(self, key: LocalDefId)

pub fn object_lifetime_defaults_map(self, key: LocalDefId)

pub fn visibility(self, key: impl IntoQueryParam<DefId>)

pub fn dep_kind(self, key: CrateNum)

pub fn crate_name(self, key: CrateNum)

pub fn item_children(self, key: impl IntoQueryParam<DefId>)

pub fn extern_mod_stmt_cnum(self, key: LocalDefId)

pub fn get_lib_features(self, key: CrateNum)

pub fn defined_lib_features(self, key: CrateNum)

pub fn get_lang_items(self, key: CrateNum)

pub fn all_diagnostic_items(self, key: CrateNum)

pub fn defined_lang_items(self, key: CrateNum)

pub fn diagnostic_items(self, key: CrateNum)

pub fn missing_lang_items(self, key: CrateNum)

pub fn visible_parent_map(self, key: CrateNum)

pub fn missing_extern_crate_item(self, key: CrateNum)

pub fn used_crate_source(self, key: CrateNum)

pub fn postorder_cnums(self, key: CrateNum)

pub fn upvars_mentioned(self, key: impl IntoQueryParam<DefId>)

pub fn maybe_unused_trait_import(self, key: LocalDefId)

pub fn maybe_unused_extern_crates(self, key: CrateNum)

pub fn names_imported_by_glob_use(self, key: LocalDefId)

pub fn stability_index(self, key: CrateNum)

pub fn all_crate_nums(self, key: CrateNum)

pub fn all_traits(self, key: CrateNum)

pub fn exported_symbols(self, key: CrateNum)

pub fn collect_and_partition_mono_items(self, key: CrateNum)

pub fn is_codegened_item(self, key: impl IntoQueryParam<DefId>)

pub fn codegen_unit(self, key: Symbol)

pub fn unused_generic_params(self, key: impl IntoQueryParam<DefId>)

pub fn backend_optimization_level(self, key: CrateNum)

pub fn output_filenames(self, key: CrateNum)

pub fn normalize_projection_ty(self, key: CanonicalProjectionGoal<'tcx>)

pub fn normalize_generic_arg_after_erasing_regions(
    self,
    key: ParamEnvAnd<'tcx, GenericArg<'tcx>>
)

pub fn implied_outlives_bounds(self, key: CanonicalTyGoal<'tcx>)

pub fn dropck_outlives(self, key: CanonicalTyGoal<'tcx>)

pub fn evaluate_obligation(self, key: CanonicalPredicateGoal<'tcx>)

pub fn evaluate_goal(self, key: ChalkCanonicalGoal<'tcx>)

pub fn type_implements_trait(
    self,
    key: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)
)

pub fn type_op_ascribe_user_type(
    self,
    key: CanonicalTypeOpAscribeUserTypeGoal<'tcx>
)

pub fn type_op_eq(self, key: CanonicalTypeOpEqGoal<'tcx>)

pub fn type_op_subtype(self, key: CanonicalTypeOpSubtypeGoal<'tcx>)

pub fn type_op_prove_predicate(
    self,
    key: CanonicalTypeOpProvePredicateGoal<'tcx>
)

pub fn type_op_normalize_ty(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>
)

pub fn type_op_normalize_predicate(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>
)

pub fn type_op_normalize_poly_fn_sig(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>
)

pub fn type_op_normalize_fn_sig(
    self,
    key: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>
)

pub fn subst_and_check_impossible_predicates(
    self,
    key: (DefId, SubstsRef<'tcx>)
)

pub fn method_autoderef_steps(self, key: CanonicalTyGoal<'tcx>)

pub fn supported_target_features(self, key: CrateNum)

pub fn instance_def_size_estimate(self, key: InstanceDef<'tcx>)

pub fn features_query(self, key: CrateNum)

pub fn resolve_instance(self, key: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>)

pub fn resolve_instance_of_const_arg(
    self,
    key: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>
)

pub fn normalize_opaque_types(self, key: &'tcx List<Predicate<'tcx>>)

Trait Implementations

impl<'tcx> Clone for TyCtxtEnsure<'tcx>

fn clone(&self) -> TyCtxtEnsure<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Copy for TyCtxtEnsure<'tcx>