rustc_next_trait_solver::solve

Module assembly

source
Expand description

Code shared by trait and projection goals for candidate assembly.

Modules§

  • 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.

Traits§

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