Module effects

Source

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