Struct rustc_middle::dep_graph::DepConstructor

pub struct DepConstructor;

Implementations

impl DepConstructor

pub fn Null(_tcx: TyCtxt<'_>) -> DepNode

pub fn CrateMetadata(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn TraitSelect(_tcx: TyCtxt<'_>) -> DepNode

pub fn CompileCodegenUnit(_tcx: TyCtxt<'_>, arg: Symbol) -> DepNode

pub fn trigger_delay_span_bug(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn hir_crate(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn index_hir(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn hir_module_items(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn hir_owner(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn hir_owner_nodes(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn opt_const_param_of(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn type_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn analysis(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn generics_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn predicates_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn explicit_item_bounds(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn item_bounds(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn projection_ty_from_predicates(
    _tcx: TyCtxt<'_>,
    arg: (DefId, DefId)
) -> DepNode

pub fn native_libraries(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn lint_levels(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn parent_module_from_def_id(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn expn_that_defined(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_panic_runtime(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn mir_keys(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn mir_const_qualif(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn mir_const_qualif_const_arg(
    _tcx: TyCtxt<'_>,
    arg: (LocalDefId, DefId)
) -> DepNode

pub fn mir_built(
    _tcx: TyCtxt<'_>,
    arg: WithOptConstParam<LocalDefId>
) -> DepNode

pub fn mir_const(
    _tcx: TyCtxt<'_>,
    arg: WithOptConstParam<LocalDefId>
) -> DepNode

pub fn mir_abstract_const(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn mir_abstract_const_of_const_arg(
    _tcx: TyCtxt<'_>,
    arg: (LocalDefId, DefId)
) -> DepNode

pub fn try_unify_abstract_consts<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))
) -> DepNode

pub fn mir_drops_elaborated_and_const_checked(
    _tcx: TyCtxt<'_>,
    arg: WithOptConstParam<LocalDefId>
) -> DepNode

pub fn mir_promoted(
    _tcx: TyCtxt<'_>,
    arg: WithOptConstParam<LocalDefId>
) -> DepNode

pub fn optimized_mir(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn optimized_mir_of_const_arg(
    _tcx: TyCtxt<'_>,
    arg: (LocalDefId, DefId)
) -> DepNode

pub fn coverageinfo(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn promoted_mir(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn promoted_mir_of_const_arg(
    _tcx: TyCtxt<'_>,
    arg: (LocalDefId, DefId)
) -> DepNode

pub fn erase_regions_ty<'tcx>(_tcx: TyCtxt<'_>, arg: Ty<'tcx>) -> DepNode

pub fn wasm_import_module_map(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn predicates_defined_on(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn trait_explicit_predicates_and_bounds(
    _tcx: TyCtxt<'_>,
    arg: LocalDefId
) -> DepNode

pub fn explicit_predicates_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn inferred_outlives_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn super_predicates_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn type_param_predicates(
    _tcx: TyCtxt<'_>,
    arg: (DefId, LocalDefId)
) -> DepNode

pub fn trait_def(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn adt_def(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn adt_destructor(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn adt_sized_constraint(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn adt_dtorck_constraint(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_const_fn_raw(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_const_impl_raw(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn asyncness(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_promotable_const_fn(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_foreign_item(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn static_mutability(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn generator_kind(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn crate_variances(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn variances_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn inferred_outlives_crate(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn associated_item_def_ids(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn associated_item(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn associated_items(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn impl_trait_ref(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn impl_polarity(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn issue33140_self_ty(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn inherent_impls(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn unsafety_check_result(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn unsafety_check_result_for_const_arg(
    _tcx: TyCtxt<'_>,
    arg: (LocalDefId, DefId)
) -> DepNode

pub fn unsafe_derive_on_repr_packed(
    _tcx: TyCtxt<'_>,
    arg: LocalDefId
) -> DepNode

pub fn fn_sig(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn lint_mod(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_attrs(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_unstable_api_usage(
    _tcx: TyCtxt<'_>,
    arg: LocalDefId
) -> DepNode

pub fn check_mod_const_bodies(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_loops(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_item_types(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_privacy(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_intrinsics(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_liveness(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_mod_impl_wf(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn collect_mod_item_types(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn coerce_unsized_info(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn typeck_item_bodies(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn typeck(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn typeck_const_arg(_tcx: TyCtxt<'_>, arg: (LocalDefId, DefId)) -> DepNode

pub fn diagnostic_only_typeck(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn used_trait_imports(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn has_typeck_results(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn coherent_trait(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn mir_borrowck(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn mir_borrowck_const_arg(
    _tcx: TyCtxt<'_>,
    arg: (LocalDefId, DefId)
) -> DepNode

pub fn crate_inherent_impls(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn crate_inherent_impls_overlap_check(
    _tcx: TyCtxt<'_>,
    arg: CrateNum
) -> DepNode

pub fn eval_to_allocation_raw<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> DepNode

pub fn eval_to_const_value_raw<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, GlobalId<'tcx>>
) -> DepNode

pub fn destructure_const<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> DepNode

pub fn deref_const<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, &'tcx Const<'tcx>>
) -> DepNode

pub fn const_caller_location(
    _tcx: TyCtxt<'_>,
    arg: (Symbol, u32, u32)
) -> DepNode

pub fn lit_to_const<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: LitToConstInput<'tcx>
) -> DepNode

pub fn check_match(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn privacy_access_levels(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn check_private_in_public(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn reachable_set(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn region_scope_tree(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn mir_shims<'tcx>(_tcx: TyCtxt<'_>, arg: InstanceDef<'tcx>) -> DepNode

pub fn symbol_name<'tcx>(_tcx: TyCtxt<'_>, arg: Instance<'tcx>) -> DepNode

pub fn def_kind(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn def_span(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn lookup_stability(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn lookup_const_stability(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn lookup_deprecation_entry(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn item_attrs(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn codegen_fn_attrs(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn fn_arg_names(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn rendered_const(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn impl_parent(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn trait_of_item(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_mir_available(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn vtable_methods<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: PolyTraitRef<'tcx>
) -> DepNode

pub fn codegen_fulfill_obligation<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: (ParamEnv<'tcx>, PolyTraitRef<'tcx>)
) -> DepNode

pub fn all_local_trait_impls(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn trait_impls_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn specialization_graph_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn object_safety_violations(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn param_env(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn param_env_reveal_all_normalized(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_copy_raw<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> DepNode

pub fn is_sized_raw<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> DepNode

pub fn is_freeze_raw<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> DepNode

pub fn needs_drop_raw<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> DepNode

pub fn has_structural_eq_impls<'tcx>(_tcx: TyCtxt<'_>, arg: Ty<'tcx>) -> DepNode

pub fn adt_drop_tys(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn layout_raw<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, Ty<'tcx>>
) -> DepNode

pub fn dylib_dependency_formats(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn dependency_formats(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn is_compiler_builtins(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn has_global_allocator(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn has_panic_handler(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn is_profiler_runtime(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn panic_strategy(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn is_no_builtins(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn symbol_mangling_version(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn extern_crate(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn specializes(_tcx: TyCtxt<'_>, arg: (DefId, DefId)) -> DepNode

pub fn in_scope_traits_map(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn module_exports(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn impl_defaultness(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn check_item_well_formed(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn check_trait_item_well_formed(
    _tcx: TyCtxt<'_>,
    arg: LocalDefId
) -> DepNode

pub fn check_impl_item_well_formed(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn reachable_non_generics(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn is_reachable_non_generic(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_unreachable_local_definition(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn upstream_monomorphizations(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn upstream_monomorphizations_for(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn upstream_drop_glue_for<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: SubstsRef<'tcx>
) -> DepNode

pub fn foreign_modules(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn entry_fn(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn plugin_registrar_fn(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn proc_macro_decls_static(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn crate_disambiguator(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn crate_hash(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn crate_host_hash(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn original_crate_name(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn extra_filename(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn crate_extern_paths(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn implementations_of_trait(
    _tcx: TyCtxt<'_>,
    arg: (CrateNum, DefId)
) -> DepNode

pub fn all_trait_implementations(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn dllimport_foreign_items(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn is_dllimport_foreign_item(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn is_statically_included_foreign_item(
    _tcx: TyCtxt<'_>,
    arg: DefId
) -> DepNode

pub fn native_library_kind(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn link_args(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn resolve_lifetimes(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn named_region_map(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn is_late_bound_map(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn object_lifetime_defaults_map(
    _tcx: TyCtxt<'_>,
    arg: LocalDefId
) -> DepNode

pub fn visibility(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn dep_kind(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn crate_name(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn item_children(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn extern_mod_stmt_cnum(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn get_lib_features(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn defined_lib_features(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn get_lang_items(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn all_diagnostic_items(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn defined_lang_items(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn diagnostic_items(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn missing_lang_items(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn visible_parent_map(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn trimmed_def_paths(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn missing_extern_crate_item(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn used_crate_source(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn postorder_cnums(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn upvars_mentioned(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn maybe_unused_trait_import(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn maybe_unused_extern_crates(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn names_imported_by_glob_use(_tcx: TyCtxt<'_>, arg: LocalDefId) -> DepNode

pub fn stability_index(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn all_crate_nums(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn all_traits(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn exported_symbols(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn collect_and_partition_mono_items(
    _tcx: TyCtxt<'_>,
    arg: CrateNum
) -> DepNode

pub fn is_codegened_item(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn codegen_unit(_tcx: TyCtxt<'_>, arg: Symbol) -> DepNode

pub fn unused_generic_params(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode

pub fn backend_optimization_level(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn output_filenames(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn normalize_projection_ty<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalProjectionGoal<'tcx>
) -> DepNode

pub fn normalize_generic_arg_after_erasing_regions<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, GenericArg<'tcx>>
) -> DepNode

pub fn implied_outlives_bounds<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTyGoal<'tcx>
) -> DepNode

pub fn dropck_outlives<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTyGoal<'tcx>
) -> DepNode

pub fn evaluate_obligation<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalPredicateGoal<'tcx>
) -> DepNode

pub fn evaluate_goal<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalChalkEnvironmentAndGoal<'tcx>
) -> DepNode

pub fn type_implements_trait<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)
) -> DepNode

pub fn type_op_ascribe_user_type<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpAscribeUserTypeGoal<'tcx>
) -> DepNode

pub fn type_op_eq<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpEqGoal<'tcx>
) -> DepNode

pub fn type_op_subtype<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpSubtypeGoal<'tcx>
) -> DepNode

pub fn type_op_prove_predicate<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpProvePredicateGoal<'tcx>
) -> DepNode

pub fn type_op_normalize_ty<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpNormalizeGoal<'tcx, Ty<'tcx>>
) -> DepNode

pub fn type_op_normalize_predicate<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpNormalizeGoal<'tcx, Predicate<'tcx>>
) -> DepNode

pub fn type_op_normalize_poly_fn_sig<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>
) -> DepNode

pub fn type_op_normalize_fn_sig<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTypeOpNormalizeGoal<'tcx, FnSig<'tcx>>
) -> DepNode

pub fn subst_and_check_impossible_predicates<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: (DefId, SubstsRef<'tcx>)
) -> DepNode

pub fn method_autoderef_steps<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: CanonicalTyGoal<'tcx>
) -> DepNode

pub fn supported_target_features(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn instance_def_size_estimate<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: InstanceDef<'tcx>
) -> DepNode

pub fn features_query(_tcx: TyCtxt<'_>, arg: CrateNum) -> DepNode

pub fn resolve_instance<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>
) -> DepNode

pub fn resolve_instance_of_const_arg<'tcx>(
    _tcx: TyCtxt<'_>,
    arg: ParamEnvAnd<'tcx, (LocalDefId, DefId, SubstsRef<'tcx>)>
) -> DepNode

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