Module effects 

Re-exports

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_hir as hir; 🔒

use rustc_infer::infer::BoundRegionConversionTime; 🔒

use rustc_infer::infer::DefineOpaqueTypes; 🔒

use rustc_infer::traits::ImplDerivedHostCause; 🔒

use rustc_infer::traits::ImplSource; 🔒

use rustc_infer::traits::Obligation; 🔒

use rustc_infer::traits::ObligationCause; 🔒

use rustc_infer::traits::ObligationCauseCode; 🔒

use rustc_infer::traits::PredicateObligation; 🔒

use rustc_middle::traits::query::NoSolution; 🔒

use rustc_middle::ty::elaborate::elaborate; 🔒

use rustc_middle::ty::fast_reject::DeepRejectCtxt; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::CallerBoundsIterator; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::span_bug; 🔒

use thin_vec::ThinVec; 🔒

use thin_vec::thin_vec; 🔒

use super::SelectionContext; 🔒

use super::normalize::normalize_with_depth_to; 🔒

Enums

EvaluationFailure

Functions

evaluate_host_effect_for_copy_clone_goal 🔒

evaluate_host_effect_for_destruct_goal 🔒

evaluate_host_effect_for_fn_goal 🔒

evaluate_host_effect_from_bounds 🔒

evaluate_host_effect_from_builtin_impls 🔒

evaluate_host_effect_from_conditionally_const_item_bounds 🔒

Assembles constness bounds from ~const item bounds on alias types, which only hold if the ~const where bounds also hold and the parent trait is ~const.

evaluate_host_effect_from_item_bounds 🔒

Assembles constness bounds “normal” item bounds on aliases, which may include unconditionally const bounds that are not conditional and thus always hold.

evaluate_host_effect_from_selection_candidate 🔒

evaluate_host_effect_from_trait_alias 🔒

evaluate_host_effect_obligation

match_candidate 🔒

Type Aliases

HostEffectObligation