Function check_function_call 

async fn check_function_call<'db>(
    env: &mut Env<'db>,
    live_after: LivePlaces,
    function_span: Span<'db>,
    expr_span: Span<'db>,
    function: SymFunction<'db>,
    ast_args: &SpanVec<'db, AstExpr<'db>>,
    generics: Vec<SymGenericTerm<'db>>,
    temporaries: Vec<Temporary<'db>>,
) -> ExprResult<'db>