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.

Enums

AliasBoundKind 🔒

Traits

GoalKind 🔒

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