Function cairo_lang_semantic::items::imp::infer_impl_at_context

pub fn infer_impl_at_context(
    db: &dyn SemanticGroup,
    diagnostics: &mut SemanticDiagnostics,
    inference: &mut Inference<'_>,
    lookup_context: &ImplLookupContext,
    concrete_trait_id: ConcreteTraitId,
    stable_ptr: SyntaxStablePtrId
) -> Maybe<ImplId>

Infers a unique impl for a trait. If more or less than one found, fails and emits diagnostics.