Ilspy fails to correctly generate the RECORD WITH statement for some complex records when targeting .NET Framework 4.7.2.

[sonyps5201314]

Use the code in the attachment file TestRecordWith.zip, compile it, and open TestRecordWith.exe in bin\Debug\net472 with ilspy. You will see the following error output:

Open TestRecordWith.dll in bin\Debug\net9.0 with ilspy and you will see the following correct output:

[christophwille]

net472? records are a C# 9 feature. How did you wedge records into net472? (No, I haven't looked into the zip file)

[sonyps5201314]

net472? records are a C# 9 feature. How did you wedge records into net472? (No, I haven't looked into the zip file)

Use vs2022，.net language version is not bind to .net runtime，this is a cognitive problem that you must correct.

[sonyps5201314]

I've been quite busy recently, so I don't have time to wait for the official fix, so I fixed the bug myself through AI. I'll submit a PR later, and you can confirm whether there is any problem with the AI ​​modification.

[sonyps5201314]

sonyps5201314@4911342 is a commit that fixes some scenes, but I also found that there are still some scenes that are not fixed.

[sonyps5201314]

After trying for a long time, the free AI (gpt5-mini) I used still cannot recover the more complex record with statement below:
CopilotRequestExtensions.WithContext in "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\Common7\IDE\CommonExtensions\Microsoft\Microsoft.VisualStudio.Copilot.Contracts\Microsoft.VisualStudio.Copilot.dll":

.method public hidebysig static 
	class Microsoft.VisualStudio.Copilot.CopilotRequest WithContext (
		class Microsoft.VisualStudio.Copilot.CopilotRequest self,
		class [netstandard]System.Collections.Generic.IEnumerable`1<class Microsoft.VisualStudio.Copilot.CopilotContext> context
	) cil managed 
{
	.custom instance void [netstandard]System.Runtime.CompilerServices.ExtensionAttribute::.ctor() = (
		01 00 00 00
	)
	// Method begins at RVA 0x1087c
	// Header size: 12
	// Code size: 71 (0x47)
	.maxstack 5

	// sequence point: (line 92, col 9) to (line 92, col 32) in D:\a\_work\1\s\src\Copilot\CopilotRequestExtensions.cs
	IL_0000: ldarg.0
	IL_0001: ldstr "self"
	IL_0006: call !!0 [Microsoft.VisualStudio.Validation]Microsoft.Requires::NotNull<class Microsoft.VisualStudio.Copilot.CopilotRequest>(!!0, string)
	IL_000b: pop
	// sequence point: (line 93, col 9) to (line 93, col 35) in D:\a\_work\1\s\src\Copilot\CopilotRequestExtensions.cs
	IL_000c: ldarg.1
	IL_000d: ldstr "context"
	IL_0012: call !!0 [Microsoft.VisualStudio.Validation]Microsoft.Requires::NotNull<class [netstandard]System.Collections.Generic.IEnumerable`1<class Microsoft.VisualStudio.Copilot.CopilotContext>>(!!0, string)
	IL_0017: pop
	// sequence point: (line 95, col 9) to (line 98, col 11) in D:\a\_work\1\s\src\Copilot\CopilotRequestExtensions.cs
	IL_0018: ldarg.0
	IL_0019: callvirt instance class Microsoft.VisualStudio.Copilot.CopilotInteraction Microsoft.VisualStudio.Copilot.CopilotInteraction::'<Clone>$'()
	IL_001e: castclass Microsoft.VisualStudio.Copilot.CopilotRequest
	IL_0023: dup
	IL_0024: newobj instance void class [netstandard]System.Collections.Generic.List`1<class Microsoft.VisualStudio.Copilot.CopilotContext>::.ctor()
	IL_0029: dup
	IL_002a: ldarg.0
	IL_002b: callvirt instance class [netstandard]System.Collections.Generic.IReadOnlyList`1<class Microsoft.VisualStudio.Copilot.CopilotContext> Microsoft.VisualStudio.Copilot.CopilotInteraction::get_Context()
	IL_0030: callvirt instance void class [netstandard]System.Collections.Generic.List`1<class Microsoft.VisualStudio.Copilot.CopilotContext>::AddRange(class [netstandard]System.Collections.Generic.IEnumerable`1<!0>)
	IL_0035: dup
	IL_0036: ldarg.1
	IL_0037: callvirt instance void class [netstandard]System.Collections.Generic.List`1<class Microsoft.VisualStudio.Copilot.CopilotContext>::AddRange(class [netstandard]System.Collections.Generic.IEnumerable`1<!0>)
	IL_003c: newobj instance void class '<>z__ReadOnlyList`1'<class Microsoft.VisualStudio.Copilot.CopilotContext>::.ctor(class [netstandard]System.Collections.Generic.List`1<!0>)
	IL_0041: callvirt instance void modreq(System.Runtime.CompilerServices.IsExternalInit) Microsoft.VisualStudio.Copilot.CopilotInteraction::set_Context(class [netstandard]System.Collections.Generic.IReadOnlyList`1<class Microsoft.VisualStudio.Copilot.CopilotContext>)
	IL_0046: ret
} // end of method CopilotRequestExtensions::WithContext 

public static CopilotRequest WithContext(this CopilotRequest self, IEnumerable<CopilotContext> context)
{
	Requires.NotNull(self, "self");
	Requires.NotNull(context, "context");
	CopilotRequest obj = (CopilotRequest)self.<Clone>$();
        ///////////////////////////////////////////////////////////////////////////////////////
        //There is more than one code in this range
	List<CopilotContext> list = new List<CopilotContext>();
	list.AddRange(self.Context);
	list.AddRange(context);
	obj.Context = new <>z__ReadOnlyList<CopilotContext>(list);
       ///////////////////////////////////////////////////////////////////////////////////////
	return obj;
}

I can only rely on you, so I submitted the fix code for supporting simple scenarios first.