static membertcIsReadOnlyNotStruct()=(3232, GetStringFunc("tcIsReadOnlyNotStruct",",,,"))

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

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

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

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

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

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

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

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

static membertastCantTakeAddressOfExpression()=(3238, GetStringFunc("tastCantTakeAddressOfExpression",",,,"))

static membertastCantTakeAddressOfExpression()=(3237, GetStringFunc("tastCantTakeAddressOfExpression",",,,"))

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."

3238,tastCantTakeAddressOfExpression,"Cannot take the address of the value returned from the expression. Assign the returned value to a let-bound value before taking the address."

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

3234,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."

3235,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."

3236,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."

3237,tastCantTakeAddressOfExpression,"Cannot take the address of the value returned from the expression. Assign the returned value to a let-bound value before taking the address."

test.fsx(66,34,66,47): typecheck error FS1204: This construct isfor usein the FSharp.Core libraryand shouldnot be used directly

test.fsx(71,21,71,23): typecheck errorFS3238: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

test.fsx(71,21,71,23): typecheck errorFS3237: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

test.fsx(72,21,72,23): typecheck errorFS3238: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

test.fsx(72,21,72,23): typecheck errorFS3237: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

test.fsx(78,21,78,37): typecheck errorFS3238: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

test.fsx(78,21,78,37): typecheck errorFS3237: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

test.fsx(85,22,85,23): typecheck error FS0001: This expression was expectedto have type

'inref<System.DateTime>'

test.fsx(303,46,303,86): typecheck errorFS3235: The functionor method call cannot be used at this point, because one argument that is a byref of a non-stack-local Spanor IsByRefLike type is used with another argument that is a stack-local Spanor IsByRefLike type. This isto ensure the address of the local value doesnot escape its scope.

test.fsx(303,46,303,86): typecheck errorFS3234: The functionor method call cannot be used at this point, because one argument that is a byref of a non-stack-local Spanor IsByRefLike type is used with another argument that is a stack-local Spanor IsByRefLike type. This isto ensure the address of the local value doesnot escape its scope.

test.fsx(306,13,306,86): typecheck error FS3230: This value can't be assigned because the target 'param1' may referto non-stack-local memory,while the expression being assigned is assessedto potentially referto stack-local memory. This isto help prevent pointersto stack-bound memory escaping their scope.

test2.fsx(124,14,124,15): typecheck error FS3209: The address of the variable 'y'or a related expression cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(128,13,128,42): typecheck errorFS3237: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(128,13,128,42): typecheck errorFS3236: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(132,14,132,41): typecheck error FS3228: The address of a value returned from the expression cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(136,14,136,71): typecheck error FS3228: The address of a value returned from the expression cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(140,13,140,52): typecheck errorFS3237: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(140,13,140,52): typecheck errorFS3236: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(144,13,144,14): typecheck errorFS3236: The Spanor IsByRefLike variable 's' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(144,13,144,14): typecheck errorFS3235: The Spanor IsByRefLike variable 's' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(149,13,149,52): typecheck errorFS3237: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(149,13,149,52): typecheck errorFS3236: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(153,21,153,84): typecheck errorFS3235: The functionor method call cannot be used at this point, because one argument that is a byref of a non-stack-local Spanor IsByRefLike type is used with another argument that is a stack-local Spanor IsByRefLike type. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(153,21,153,84): typecheck errorFS3234: The functionor method call cannot be used at this point, because one argument that is a byref of a non-stack-local Spanor IsByRefLike type is used with another argument that is a stack-local Spanor IsByRefLike type. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(154,13,154,14): typecheck errorFS3236: The Spanor IsByRefLike variable 'y' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(154,13,154,14): typecheck errorFS3235: The Spanor IsByRefLike variable 'y' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(158,13,158,83): typecheck errorFS3237: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(158,13,158,83): typecheck errorFS3236: A Spanor IsByRefLike value returned from the expression cannot be used at ths point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(163,13,163,14): typecheck errorFS3236: The Spanor IsByRefLike variable 'y' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(163,13,163,14): typecheck errorFS3235: The Spanor IsByRefLike variable 'y' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(167,14,167,71): typecheck error FS3228: The address of a value returned from the expression cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(222,18,222,23): typecheck error FS3228: The address of a value returned from the expression cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(231,17,231,18): typecheck errorFS3236: The Spanor IsByRefLike variable 's' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

test2.fsx(231,17,231,18): typecheck errorFS3235: The Spanor IsByRefLike variable 's' cannot be used at this point. This isto ensure the address of the local value doesnot escape its scope.

'byref<'a>'

.

neg106.fs(17,59,17,61): typecheck errorFS3238: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

neg106.fs(17,59,17,61): typecheck errorFS3237: Cannot take the address of the value returned from the expression. Assign the returned valueto a let-bound value before taking the address.

neg106.fs(17,14,17,68): typecheck error FS0041: No overloads matchfor method 'CompareExchange'. The available overloads are shown below.

neg106.fs(17,14,17,68): typecheck error FS0041: Possible overload: 'System.Threading.Interlocked.CompareExchange(location1: byref<int>, value: int, comparand: int) : int'. Type constraint mismatch. The type

'byref<'a>'

.

neg106.fs(17,59,17,61): typecheck errorFS3238: Cannot take the address of the value returned from the expression. Assign the returned value to a let-bound value before taking the address.

neg106.fs(17,59,17,61): typecheck errorFS3237: Cannot take the address of the value returned from the expression. Assign the returned value to a let-bound value before taking the address.

neg106.fs(17,14,17,68): typecheck error FS0041: No overloads match for method 'CompareExchange'. The available overloads are shown below.

neg106.fs(17,14,17,68): typecheck error FS0041: Possible overload: 'System.Threading.Interlocked.CompareExchange(location1: byref<int>, value: int, comparand: int) : int'. Type constraint mismatch. The type

neg107.fsx(37,33,37,34): typecheck error FS0425: The type of a first-class function cannot contain byrefs

neg107.fsx(45,34,45,40): typecheck errorFS3234: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(45,34,45,40): typecheck errorFS3233: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(45,34,45,38): typecheck errorFS3234: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(45,34,45,38): typecheck errorFS3233: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(53,34,53,38): typecheck errorFS3234: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(53,34,53,38): typecheck errorFS3233: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(67,34,67,40): typecheck errorFS3234: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(67,34,67,40): typecheck errorFS3233: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(67,34,67,38): typecheck errorFS3234: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(67,34,67,38): typecheck errorFS3233: Struct members cannotreturn the address of fields of the struct by reference

neg107.fsx(71,19,71,20): typecheck error FS0412: A type instantiation involves a byref type. This isnot permitted by the rules of Common IL.

neg107.fsx(37,33,37,34): typecheck error FS0425: The type of a first-class function cannot contain byrefs

neg107.fsx(45,34,45,40): typecheck errorFS3234: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(45,34,45,40): typecheck errorFS3233: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(45,34,45,38): typecheck errorFS3234: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(45,34,45,38): typecheck errorFS3233: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(53,34,53,38): typecheck errorFS3234: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(53,34,53,38): typecheck errorFS3233: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(67,34,67,40): typecheck errorFS3234: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(67,34,67,40): typecheck errorFS3233: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(67,34,67,38): typecheck errorFS3234: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(67,34,67,38): typecheck errorFS3233: Struct members cannot return the address of fields of the struct by reference

neg107.fsx(71,19,71,20): typecheck error FS0412: A type instantiation involves a byref type. This is not permitted by the rules of Common IL.