Enums§
- Ambiguity
- Describes the kinds of inference ambiguities.
- Solution
Set - A generic solution set for an inference constraint system.
Traits§
- Semantic
Solver - Trait for solver-related semantic queries.
Functions§
- canonic_
trait_ solutions - Implementation of SemanticSolver::canonic_trait_solutions. Assumes the lookup context is already enriched by enrich_lookup_context.
- canonic_
trait_ solutions_ cycle - Cycle handling for canonic_trait_solutions.
- canonic_
trait_ solutions_ tracked - Query implementation of SemanticSolver::canonic_trait_solutions. Assumes the lookup context is already enriched by enrich_lookup_context.
- enrich_
lookup_ context - Adds the defining module of the trait and the generic arguments to the lookup context.
- enrich_
lookup_ context_ with_ ty - Adds the defining module of the type to the lookup context.