Function cairo_lang_semantic::items::imp::can_infer_impl_by_self

pub fn can_infer_impl_by_self(
    ctx: &mut ComputationContext<'_>,
    trait_function_id: TraitFunctionId,
    self_ty: TypeId,
    stable_ptr: SyntaxStablePtrId
) -> bool

Checks if an impl of a trait function with a given self_ty exists. This function does not change the state of the inference context.