Module solver

Structs

• CandidateSolver
  A solver for a candidate to a canonical trait.
• Solver
  A canonical trait solver.

Enums

• Ambiguity
  Describes the kinds of inference ambiguities.
• SolutionSet
  A generic solution set for an inference constraint system.

Functions

• canonic_trait_solutions
  Query implementation of SemanticGroup::canonic_trait_solutions. Assumes the lookup context is already enriched by enrich_lookup_context.
• canonic_trait_solutions_cycle
  Cycle handling for canonic_trait_solutions.
• enrich_lookup_context
  Adds the defining module of the trait and the generic arguments to the lookup context.