Function cairo_lang_semantic::items::imp::has_impl_at_context

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

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