Function cairo_lang_semantic::items::imp::get_impl_at_context

pub fn get_impl_at_context(
    db: &dyn SemanticGroup,
    lookup_context: ImplLookupContext,
    concrete_trait_id: ConcreteTraitId,
    stable_ptr: SyntaxStablePtrId
) -> InferenceResult<ImplId>

Checks if there is at least one impl that can be inferred for a specific concrete trait.