Json parsing with struct and attributes changed from net6 to net7

[JohnnyFasching]

I upgraded my application from .net 6 to .net 7, and after the deployment I got problems, because the newtonsoft json parser returned null values, except of the values represented in the json string.

Repro steps

I provided a sample F# script and the json document, where you can see the difference between the two types I created.
The "TokenResponse_net6" type was working fine in .net 6, but not anymore in .net 7

Expected behavior

However when I modify the type like in my "TokenResponse_net7" the values get parsed properly.
It seems that there was a change in the annotations and probably also how the struct works with those

Newtonsoft.Json.zip

.NET SDK:
Version: 7.0.201
Commit: 68f2d7e7a3

Runtime Environment:
OS Name: Windows
OS Version: 10.0.22621
OS Platform: Windows
RID: win10-x64
Base Path: C:\Program Files\dotnet\sdk\7.0.201\

[vzarytovskii]

It sounds like some combination of changes in the deserializer of the nsj and our codegen for net7 (vs net6), since if you change your struct to

[<Struct; DataContract>]
type TokenResponse_net6 =
    {
        [<field: DataMember(Name = "access_token")>]
        access_token: string
        [<field: DataMember(Name = "token_type")>]
        token_type: string
    }

it deserializes just fine.

The following looks related, though seems to be an old issue
JamesNK/Newtonsoft.Json#1295

[vzarytovskii]

Minimal repro is pretty much:

#r "nuget: Newtonsoft.Json,13.0.3"

open System.Runtime.Serialization

open Newtonsoft.Json

[<NoComparison; NoEquality; Struct; DataContract>]
type DataType =
    {
        [<DataMember(Name = "foo_field")>]
        Foo: string
    }

let json = """{"foo_field": "bar"}"""
printfn $"{JsonConvert.DeserializeObject<DataType>(json)}"

If you change foo_field to foo or Foo it works, as is changing type to reference type.

[vzarytovskii]

For the following F# code:

open System.Runtime.Serialization
[<NoComparison; NoEquality; Struct; DataContract>]
type DataType =
    {
        [<DataMember(Name = "foo_field")>]
        Foo: string
    }

Codegen we do in net6:

[Serializable]
[NoComparison]
[NoEquality]
[Struct]
[DataContract]
[CompilationMapping(SourceConstructFlags.RecordType)]
public struct DataType
{
	[DebuggerBrowsable(DebuggerBrowsableState.Never)]
	internal string Foo@;

	[DataMember(Name = "foo_field")]
	[CompilationMapping(SourceConstructFlags.Field, 0)]
	public string Foo
	{
		get
		{
			return Foo@;
		}
	}

	public DataType(string foo)
	{
		Foo@ = foo;
	}

	[CompilerGenerated]
	public override string ToString()
	{
		return ExtraTopLevelOperators.PrintFormatToString(new PrintfFormat<FSharpFunc<DataType, string>, Unit, string, string, DataType>("%+A")).Invoke(this);
	}
}

And net7:

[Serializable]
[NoComparison]
[NoEquality]
[Struct]
[DataContract]
[CompilationMapping(SourceConstructFlags.RecordType)]
public struct DataType
{
	[CompilerGenerated]
	[DebuggerBrowsable(DebuggerBrowsableState.Never)]
	internal string Foo@;

	[DataMember(Name = "foo_field")]
	[CompilationMapping(SourceConstructFlags.Field, 0)]
	public readonly string Foo
	{
		[CompilerGenerated]
		[DebuggerNonUserCode]
		get
		{
			return Foo@;
		}
	}

	public DataType(string foo)
	{
		Foo@ = foo;
	}

	[CompilerGenerated]
	public override string ToString()
	{
		return ExtraTopLevelOperators.PrintFormatToString(new PrintfFormat<FSharpFunc<DataType, string>, Unit, string, string, DataType>("%+A")).Invoke(this);
	}
}

So, the diff is pretty much:

index 99a4d54..d562226 100644
--- "a/.\\net6.cs"
+++ "b/.\\net7.cs"
@@ -6,13 +6,16 @@
 [CompilationMapping(SourceConstructFlags.RecordType)]
 public struct DataType
 {
+       [CompilerGenerated]
        [DebuggerBrowsable(DebuggerBrowsableState.Never)]
        internal string Foo@;

        [DataMember(Name = "foo_field")]
        [CompilationMapping(SourceConstructFlags.Field, 0)]
-       public string Foo
+       public readonly string Foo
        {
+               [CompilerGenerated]
+               [DebuggerNonUserCode]
                get
                {
                        return Foo@;