Function cairo_lang_semantic::expr::compute::resolve_trait_function

pub fn resolve_trait_function(
    db: &dyn SemanticGroup,
    diagnostics: &mut SemanticDiagnostics,
    inference: &mut Inference<'_>,
    resolver: &mut Resolver<'_>,
    concrete_trait_function: ConcreteTraitGenericFunctionId,
    stable_ptr: SyntaxStablePtrId
) -> Maybe<ConcreteImplGenericFunctionId>

Resolves a trait function to an impl function.