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.