Function check_call_common 

async fn check_call_common<'db>(
    env: &mut Env<'db>,
    _live_after: LivePlaces,
    function: SymFunction<'db>,
    expr_span: Span<'db>,
    callee_span: Span<'db>,
    input_output: &Binder<'db, Binder<'db, SymInputOutput<'db>>>,
    substitution: Vec<SymGenericTerm<'db>>,
    ast_args: &[AstExpr<'db>],
    self_expr: Option<SymExpr<'db>>,
    temporaries: Vec<Temporary<'db>>,
) -> ExprResult<'db>