Module effects

Enums

EvaluationFailure

Functions

evaluate_host_effect_for_destruct_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_obligation

match_candidate 🔒

Type Aliases

HostEffectObligation