| ILMeth(g,ilMethInfo,_)->

[[for pin ilMethInfo.ParamMetadatado

letisParamArrayArg= TryFindILAttribute g.attrib_ParamArrayAttribute p.CustomAttrs

match TryDecodeILAttribute g g.attrib_ReflectedDefinitionAttribute.TypeRef(Some(g.attrib_ReflectedDefinitionAttribute.TypeRef.Scope)) p.CustomAttrswith

| Some([ILAttribElem.Bool b],_)-> ReflectedArgInfo.Quote b

| Some_-> ReflectedArgInfo.Quotefalse

|_-> ReflectedArgInfo.None

letisOutArg=(p.IsOut&&not p.IsIn)

letoptArgInfo= OptionalArgInfo.FromILParameter g amap m ilMethInfo.MetadataScope ilMethInfo.DeclaringTypeInst p

yield(isParamArrayArg, isOutArg, optArgInfo,ReflectedArgInfo.None)]]

yield(isParamArrayArg, isOutArg, optArgInfo,reflArgInfo)]]

| FSMeth(g,_,vref,_)->

GetArgInfosOfMember x.IsCSharpStyleExtensionMember g vref

[[for pin mi.PApplyArray((fun mi-> mi.GetParameters()),"GetParameters", m)do

letisParamArrayArg= p.PUntaint((fun px->(px:> IProvidedCustomAttributeProvider).GetAttributeConstructorArgs(p.TypeProvider.PUntaintNoFailure(id), typeof<System.ParamArrayAttribute>.FullName).IsSome),m)

letoptArgInfo= OptionalArgInfoOfProvidedParameter amap m p

yield(isParamArrayArg, p.PUntaint((fun p-> p.IsOut), m), optArgInfo, ReflectedArgInfo.None)]]

match p.PUntaint((fun px->(px:> IProvidedCustomAttributeProvider).GetAttributeConstructorArgs(p.TypeProvider.PUntaintNoFailure(id), typeof<Microsoft.FSharp.Core.ReflectedDefinitionAttribute>.FullName)),m)with

| Some[ Some(:? boolas b)]-> ReflectedArgInfo.Quote b

| Some_-> ReflectedArgInfo.Quotefalse

| None-> ReflectedArgInfo.None

yield(isParamArrayArg, p.PUntaint((fun p-> p.IsOut), m), optArgInfo, reflArgInfo)]]