cairo_lang_semantic::expr::inference::solver

Function canonic_trait_solutions_cycle

Source 
pub fn canonic_trait_solutions_cycle(
    _db: &dyn SemanticGroup,
    _cycle: &Cycle,
    _canonical_trait: &CanonicalTrait,
    _lookup_context: &ImplLookupContext,
    _impl_type_bounds: &BTreeMap<ImplTypeById, TypeId>,
) -> Result<SolutionSet<CanonicalImpl>, InferenceError>
Expand description

Cycle handling for canonic_trait_solutions.