Function cairo_lang_semantic::resolve_path::specialize_function

pub fn specialize_function(
    db: &dyn SemanticGroup,
    diagnostics: &mut SemanticDiagnostics,
    inference: &mut Inference<'_>,
    stable_ptr: SyntaxStablePtrId,
    generic_function: GenericFunctionId,
    generic_args: Vec<GenericArgumentId>
) -> Maybe<FunctionId>

Specializes a generic function.