PropagateThenTcDelayed cenv overallTy env tpenv mWholeExpr (MakeApplicableExprNoFlex cenv expr) exprTy atomicFlag delayed

/// Infer initial type information at the callsite from the syntax of an argument, prior to overload resolution.

let g = cenv.g

and CalledMethHasSingleArgumentGroupOfThisLength n (calledMeth: MethInfo) =

match calledMeth.NumArgs with

and TcMethodApplication_SplitSynArguments

(cenv: cenv)

(env: TcEnv)

isProp

(candidates: MethInfo list)

(exprTy: OverallTy)

else

unnamedCurriedCallerArgs, namedCurriedCallerArgs

let singleMethodCurriedArgs =

match candidates with

| _ ->

let unnamedCurriedCallerArgs = unnamedCurriedCallerArgs |> List.mapSquared MakeUnnamedCallerArgInfo

let namedCurriedCallerArgs = namedCurriedCallerArgs |> List.mapSquared (fun (isOpt, nm, x) ->

// #435263: compiler crash with .net optional parameters and F# optional syntax

// named optional arguments should always have option type

// STRUCT OPTIONS: if we allow struct options as optional arguments then we should relax this and rely