pub fn canonic_trait_solutions(
    db: &dyn SemanticGroup,
    canonical_trait: CanonicalTrait,
    lookup_context: ImplLookupContext
) -> InferenceResult<SolutionSet<CanonicalImpl>>
Expand description

Query implementation of SemanticGroup::canonic_trait_solutions. Assumes the lookup context is already enriched by enrich_lookup_context.