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.