List of all items

Structs

• chalk::db::ReplaceOpaqueTyFolder
• chalk::db::RustIrDatabase
• chalk::lowering::BoundVarsCollector
• chalk::lowering::NamedBoundVarSubstitutor
• chalk::lowering::ParamsSubstitutor
• chalk::lowering::PlaceholdersCollector
• chalk::lowering::ReverseParamsSubstitutor
• type_op::AscribeUserTypeCx

Traits

• chalk::lowering::LowerInto

Functions

• chalk::db::binders_for
• chalk::db::bound_vars_for_item
• chalk::evaluate_goal
• chalk::lowering::collect_bound_vars
• chalk::provide
• dropck_outlives::adt_dtorck_constraint
• dropck_outlives::dedup_dtorck_constraint
• dropck_outlives::dropck_outlives
• dropck_outlives::dtorck_constraint_for_ty
• dropck_outlives::provide
• evaluate_obligation::evaluate_obligation
• evaluate_obligation::provide
• implied_outlives_bounds::compute_implied_outlives_bounds
• implied_outlives_bounds::implied_bounds_from_components
• implied_outlives_bounds::implied_outlives_bounds
• implied_outlives_bounds::provide
• normalize_erasing_regions::not_outlives_predicate
• normalize_erasing_regions::provide
• normalize_erasing_regions::try_normalize_after_erasing_regions
• normalize_projection_ty::normalize_projection_ty
• normalize_projection_ty::provide
• provide
• type_op::provide
• type_op::type_op_ascribe_user_type
• type_op::type_op_ascribe_user_type_with_span
• type_op::type_op_eq
• type_op::type_op_normalize
• type_op::type_op_normalize_fn_sig
• type_op::type_op_normalize_poly_fn_sig
• type_op::type_op_normalize_predicate
• type_op::type_op_normalize_ty
• type_op::type_op_prove_predicate
• type_op::type_op_prove_predicate_with_cause
• type_op::type_op_subtype
• type_op_ascribe_user_type_with_span
• type_op_prove_predicate_with_cause