else None)

|_-> None)

namedCallerArgs|> List.filter(fun(CallerNamedArg(nm,_e))->

fullCalledArgs|> List.forall(fun calledArg->

match calledArg.NameOptwith

| Some nm2-> nm.idText<> nm2.idText

| None->true))

if isCheckingAttributeCallthen

letreturnedObjTy=if minfo.IsConstructorthen minfo.EnclosingTypeelse methodRetTy

unassignedNamedItem|> List.splitChoose(fun(CallerNamedArg(id,e)asarg)->

unassignedNamedItems|> List.splitChoose(fun(CallerNamedArg(id,e)asarg)->

letnm= id.idText

letpinfos= GetIntrinsicPropInfoSetsOfType infoReader(Some(nm),ad,AllowMultiIntfInstantiations.Yes) IgnoreOverrides id.idRange returnedObjTy

letpinfos= pinfos|> ExcludeHiddenOfPropInfos g infoReader.amap m

letargSet={ UnnamedCalledArgs=unnamedCalledArgs; UnnamedCallerArgs=unnamedCallerArgs; ParamArrayCalledArgOpt=paramArrayCalledArgOpt; ParamArrayCallerArgs=paramArrayCallerArgs; AssignedNamedArgs=assignedNamedArgs}

(argSet,assignedNamedProps,unassignedNamedItem,attributeAssignedNamedItems,unnamedCalledOptArgs,unnamedCalledOutArgs))

(argSet,assignedNamedProps,unassignedNamedItems,attributeAssignedNamedItems,unnamedCalledOptArgs,unnamedCalledOutArgs))

letargSets= argSetInfos|> List.map(fun(x,_,_,_,_,_)-> x)

letassignedNamedProps= argSetInfos|> List.collect(fun(_,x,_,_,_,_)-> x)

/// Method calls, property lookups, attribute constructions etc. get checked through here

and TcMethodApplication

cenv

env

tpenv

match tyargsOpt with

| Some tyargs -> minfo.AdjustUserTypeInstForFSharpStyleIndexedExtensionMembers(tyargs)

| None -> minst

CalledMeth<SynExpr>(cenv.infoReader,Some(env.NameEnv),checkingAttributeCall, FreshenMethInfo, mMethExpr,ad,minfo,minst,callerTyArgs,pinfoOpt,callerObjArgTys,callerArgs,usesParamArrayConversion,true,objTyOpt)

CalledMeth<SynExpr>(cenv.infoReader,Some(env.NameEnv),isCheckingAttributeCall, FreshenMethInfo, mMethExpr,ad,minfo,minst,callerTyArgs,pinfoOpt,callerObjArgTys,callerArgs,usesParamArrayConversion,true,objTyOpt)

let preArgumentTypeCheckingCalledMethGroup =

[ for (minfo,pinfoOpt) in candidateMethsAndProps do

match tyargsOpt with

| Some tyargs -> minfo.AdjustUserTypeInstForFSharpStyleIndexedExtensionMembers(tyargs)

| None -> minst

CalledMeth<Expr>(cenv.infoReader,Some(env.NameEnv),checkingAttributeCall,FreshenMethInfo, mMethExpr,ad,minfo,minst,callerTyArgs,pinfoOpt,callerObjArgTys,callerArgs,usesParamArrayConversion,true,objTyOpt))

CalledMeth<Expr>(cenv.infoReader,Some(env.NameEnv),isCheckingAttributeCall,FreshenMethInfo, mMethExpr,ad,minfo,minst,callerTyArgs,pinfoOpt,callerObjArgTys,callerArgs,usesParamArrayConversion,true,objTyOpt))

let callerArgCounts = (unnamedCurriedCallerArgs.Length, namedCurriedCallerArgs.Length)

let csenv = MakeConstraintSolverEnv ContextInfo.NoContext cenv.css mMethExpr denv

// Handle post-hoc property assignments

let expr =

if isCheckingAttributeCall then expr else

if isNil finalAssignedItemSetters then expr else

// This holds the result of the call

let objv,objExpr = mkMutableCompGenLocal mMethExpr "returnVal" exprty // mutable in case it's a struct

| Item.CtorGroup(methodName,minfos) ->

let meths = minfos |> List.map (fun minfo -> minfo,None)

let afterResolution = ForNewConstructors cenv.tcSink env tyid.idRange methodName minfos

let (expr,namedCallerArgs,_),_ =

let (expr,attributeAssignedNamedItems,_),_ =

TcMethodApplication true cenv env tpenv None [] mAttr mAttr methodName None ad PossiblyMutates false meths afterResolution NormalValUse [arg] (NewInferenceType ()) []

UnifyTypes cenv env mAttr ty (tyOfExpr cenv.g expr)

AttribExpr(e,EvalLiteralExprOrAttribArg cenv.g e)

let namedAttribArgMap =

namedCallerArgs |> List.map (fun (CallerNamedArg(id,CallerArg(argtyv,m,isOpt,expr))) ->

attributeAssignedNamedItems |> List.map (fun (CallerNamedArg(id,CallerArg(argtyv,m,isOpt,callerArgExpr))) ->

if isOpt then error(Error(FSComp.SR.tcOptionalArgumentsCannotBeUsedInCustomAttribute(),m))

let m =expr.Range

let m =callerArgExpr.Range

let setterItem, _ = ResolveLongIdentInType cenv.tcSink cenv.nameResolver env.NameEnv LookupKind.Expr m ad [id] IgnoreOverrides TypeNameResolutionInfo.Default ty

let nm, isProp, argty =

match setterItem with

AddCxTypeMustSubsumeType ContextInfo.NoContext env.DisplayEnv cenv.css m NoTrace argty argtyv

AttribNamedArg(nm,argty,isProp,mkAttribExprexpr))

AttribNamedArg(nm,argty,isProp,mkAttribExprcallerArgExpr))

match expr with

| Expr.Op(TOp.ILCall(_,_,valu,_,_,_,_,ilMethRef,[],[],_rtys),[],args,m) ->

do test()

inherit System.Attribute()

new()=new FooAttribute(-1)