Module assembly 

Code shared by trait and projection goals for candidate assembly.

Modules

structural_traits 🔒

Code which is used by built-in goals that match “structurally”, such a auto traits, Copy/Clone.

Structs

Candidate 🔒

A candidate is a possible way to prove a goal.

FailedCandidateInfo 🔒

This is currently used to track the [CandidateHeadUsages] of all failed ParamEnv candidates. This is then used to ignore their head usages in case there’s another always applicable ParamEnv candidate. Look at how param_env_head_usages is used in the code for more details.

FindParamInClause 🔒

Enums

AllowInferenceConstraints 🔒

AssembleCandidatesFrom 🔒

Allows callers of assemble_and_evaluate_candidates to choose whether to limit candidate assembly to param-env and alias-bound candidates.

Traits

GoalKind 🔒

Methods used to assemble candidates for either trait or projection goals.