cairo_lang_semantic::expr::inference::solver

Function canonic_trait_solutions

Source 
pub fn canonic_trait_solutions(
    db: &dyn SemanticGroup,
    canonical_trait: CanonicalTrait,
    lookup_context: ImplLookupContext,
    impl_type_bounds: BTreeMap<ImplTypeById, TypeId>,
) -> Result<SolutionSet<CanonicalImpl>, InferenceError>
Expand description

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