Function cairo_lang_semantic::expr::inference::solver::canonic_trait_solutions
source · 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.