static membertcByRefLikeNotStruct()=(3227, GetStringFunc("tcByRefLikeNotStruct",",,,"))

static memberchkNoByrefReturnOfLocal(a0:System.String)=(3228, GetStringFunc("chkNoByrefReturnOfLocal",",,,%s,,,")a0)

static memberchkNoByrefAddressOfValueFromExpression()=(3228, GetStringFunc("chkNoByrefAddressOfValueFromExpression",",,,"))

static memberchkNoReturnOfLimitedSpan()=(3229, GetStringFunc("chkNoReturnOfLimitedSpan",",,,"))

static memberchkStructsMayNotReturnAddressesOfContents()=(3234, GetStringFunc("chkStructsMayNotReturnAddressesOfContents",",,,"))

static memberchkNoByrefLikeFunctionCall()=(3235, GetStringFunc("chkNoByrefLikeFunctionCall",",,,"))

static memberchkNoSpanLikeVariable(a0:System.String)=(3236, GetStringFunc("chkNoSpanLikeVariable",",,,%s,,,") a0)

static memberchkNoSpanLikeValueFromExpression()=(3237, GetStringFunc("chkNoSpanLikeValueFromExpression",",,,"))

ignore(GetString("readOnlyAttributeOnStructWithMutableField"))

ignore(GetString("tcByrefReturnImplicitlyDereferenced"))

ignore(GetString("tcByRefLikeNotStruct"))

ignore(GetString("chkNoByrefReturnOfLocal"))

ignore(GetString("chkNoByrefAddressOfValueFromExpression"))

ignore(GetString("chkNoReturnOfLimitedSpan"))

ignore(GetString("chkNoWriteToLimitedSpan"))

ignore(GetString("tastValueMustBeLocal"))

ignore(GetString("tcIsReadOnlyNotStruct"))

ignore(GetString("chkStructsMayNotReturnAddressesOfContents"))

ignore(GetString("chkNoByrefLikeFunctionCall"))

ignore(GetString("chkNoSpanLikeVariable"))

ignore(GetString("chkNoSpanLikeValueFromExpression"))

<dataname="tcByRefLikeNotStruct"xml:space="preserve">

<value>A type annotated with IsByRefLike must also be a struct. Consider adding the [&lt;Struct&gt;] attribute to the type.</value>

</data>

<dataname="chkNoByrefReturnOfLocal"xml:space="preserve">

<value>The address ofthe variable '{0}' or a relatedexpression cannot be used at this point. The address may not be passed to a call that returns an address. This is to ensure the address of the local value does not escape its scope.</value>

<dataname="chkNoByrefAddressOfValueFromExpression"xml:space="preserve">

<value>The address ofa value returned from theexpression cannot be used at this point. This is to ensure the address of the local value does not escape its scope.</value>

</data>

<dataname="chkNoReturnOfLimitedSpan"xml:space="preserve">

<value>The IsByRefLike expression cannot be returned from this function or method, because it is composed using elements that may escape their scope.</value>

<value>TheSpan orIsByRefLike expression cannot be returned from this function or method, because it is composed using elements that may escape their scope.</value>

</data>

<dataname="chkNoWriteToLimitedSpan"xml:space="preserve">

<value>This value can't be assigned because the target '{0}' may refer to non-stack-local memory, while the expression being assigned is assessed to potentially refer to stack-local memory. This is to help prevent pointers to stack-bound memory escaping their scope.</value>

<dataname="chkStructsMayNotReturnAddressesOfContents"xml:space="preserve">

<value>Struct members cannot return the address of fields of the struct by reference</value>

</data>

<dataname="chkNoByrefLikeFunctionCall"xml:space="preserve">

<value>The function or method call cannot be used at this point, because one argument that is a byref of a non-stack-local Span or IsByRefLike type is used with another argument that is a stack-local Span or IsByRefLike type. This is to ensure the address of the local value does not escape its scope.</value>

</data>

<dataname="chkNoSpanLikeVariable"xml:space="preserve">

<value>The Span or IsByRefLike variable '{0}' cannot be used at this point. This is to ensure the address of the local value does not escape its scope.</value>

</data>

<dataname="chkNoSpanLikeValueFromExpression"xml:space="preserve">

<value>A Span or IsByRefLike value returned from the expression cannot be used at ths point. This is to ensure the address of the local value does not escape its scope.</value>

</data>

</root>

mutable tryGetMetadataSnapshot:ILReaderTryGetMetadataSnapshot

mutable internalTestSpanStackReferring:bool

copyFSharpCore= CopyFSharpCoreFlag.No

shadowCopyReferences=false

tryGetMetadataSnapshot=(fun _-> None)

internalTestSpanStackReferring=false

memberx.copyFSharpCore= data.copyFSharpCore

memberx.shadowCopyReferences= data.shadowCopyReferences

memberx.tryGetMetadataSnapshot= data.tryGetMetadataSnapshot

memberx.internalTestSpanStackReferring= data.internalTestSpanStackReferring

use unwindBuildPhase= PushThreadBuildPhaseUntilUnwind BuildPhase.Parameter

TcConfig(builder, validate)

TypeCheckOneSigFile(tcGlobals, tcState.tcsNiceNameGen, amap, tcState.tcsCcu, checkForErrors, tcConfig.conditionalCompilationDefines, tcSink) tcState.tcsTcSigEnv file

TypeCheckOneSigFile(tcGlobals, tcState.tcsNiceNameGen, amap, tcState.tcsCcu, checkForErrors, tcConfig.conditionalCompilationDefines, tcSink, tcConfig.internalTestSpanStackReferring) tcState.tcsTcSigEnv file

letrootSigs= Zmap.add qualNameOfFile sigFileType tcState.tcsRootSigs

TypeCheckOneImplFile(tcGlobals, tcState.tcsNiceNameGen, amap, tcState.tcsCcu, checkForErrors, tcConfig.conditionalCompilationDefines, tcSink) tcImplEnv rootSigOpt file

TypeCheckOneImplFile(tcGlobals, tcState.tcsNiceNameGen, amap, tcState.tcsCcu, checkForErrors, tcConfig.conditionalCompilationDefines, tcSink, tcConfig.internalTestSpanStackReferring) tcImplEnv rootSigOpt file

lethadSig= rootSigOpt.IsSome

letimplFileSigType= SigTypeOfImplFile implFile

mutable tryGetMetadataSnapshot:ILReaderTryGetMetadataSnapshot

mutable internalTestSpanStackReferring:bool

CompilerOption("test", tagString, OptionString(fun s->

match swith

|"StackSpan"-> tcConfigB.internalTestSpanStackReferring<-true

|"ErrorRanges"-> tcConfigB.errorStyle<- ErrorStyle.TestErrors

|"MemberBodyRanges"-> PostTypeCheckSemanticChecks.testFlagMemberBody:=true

|"Tracking"-> Lib.tracking:=true(* general purpose on/off diagnostics flag*)

3225,readOnlyAttributeOnStructWithMutableField,"A ReadOnly attribute has been applied to a struct type with a mutable field."

3226,tcByrefReturnImplicitlyDereferenced,"A byref pointer returned by a function or method is implicitly dereferenced as of F# 4.5. To acquire the return value as a pointer, use the address-of operator, e.g. '&f(x)' or '&obj.Method(arg1, arg2)'."

3227,tcByRefLikeNotStruct,"A type annotated with IsByRefLike must also be a struct. Consider adding the [<Struct>] attribute to the type."

3228,chkNoByrefReturnOfLocal,"The address ofthe variable '%s' or a relatedexpression cannot be used at this point. The address may not be passed to a call that returns an address. This is to ensure the address of the local value does not escape its scope."

3229,chkNoReturnOfLimitedSpan,"The IsByRefLike expression cannot be returned from this function or method, because it is composed using elements that may escape their scope."

3228,chkNoByrefAddressOfValueFromExpression,"The address ofa value returned from theexpression cannot be used at this point. This is to ensure the address of the local value does not escape its scope."

3229,chkNoReturnOfLimitedSpan,"TheSpan orIsByRefLike expression cannot be returned from this function or method, because it is composed using elements that may escape their scope."

3230,chkNoWriteToLimitedSpan,"This value can't be assigned because the target '%s' may refer to non-stack-local memory, while the expression being assigned is assessed to potentially refer to stack-local memory. This is to help prevent pointers to stack-bound memory escaping their scope."

3231,tastValueMustBeLocal,"A value defined in a module must be mutable in order to take its address, e.g. 'let mutable x = ...'"

3232,tcIsReadOnlyNotStruct,"A type annotated with IsReadOnly must also be a struct. Consider adding the [<Struct>] attribute to the type."

3234,chkStructsMayNotReturnAddressesOfContents,"Struct members cannot return the address of fields of the struct by reference"

3235,chkNoByrefLikeFunctionCall,"The function or method call cannot be used at this point, because one argument that is a byref of a non-stack-local Span or IsByRefLike type is used with another argument that is a stack-local Span or IsByRefLike type. This is to ensure the address of the local value does not escape its scope."

3236,chkNoSpanLikeVariable,"The Span or IsByRefLike variable '%s' cannot be used at this point. This is to ensure the address of the local value does not escape its scope."

3237,chkNoSpanLikeValueFromExpression,"A Span or IsByRefLike value returned from the expression cannot be used at ths point. This is to ensure the address of the local value does not escape its scope."