Regression test for GitHub issue #74792 (Roslyn issue 63617) (#74804)

While investigating the bug 74792 I have created this regression
test based on the Roslyn issue 63617. So far I haven't managed
to repro the failure locally so I'm sending it to the lab. Please
let me know if I created the test incorrectly so that it needs
adjustments to hit the issue.

Thanks

Tomas

Author: trylek

src/tests/Loader/classloader/StaticVirtualMethods/RegressionTests/GitHub_74792.cs

@@ -0,0 +1,49 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+using System;
+
+// This regression test tracks an externally reported issue where this
+// code fails at runtime with a BadImageFormatException because the
+// constraint resolver fails to confirm that L1 and L2 implement
+// ILogic when constructing instances of the struct G, cf:
+//
+// https://github.com/dotnet/roslyn/issues/63617
+// https://github.com/dotnet/runtime/issues/74792
+//
+// Apparently it was failing in an older version of the CoreCLR
+// runtime, as of now (around .NET 7 RC1 timeframe) the test passes.
+
+class Program
+{
+    public static int Main()
+    {
+        new G<L1>().Test();
+        new G<L2>().Test();
+        return 100;
+    }
+}
+
+public interface ILogic{
+    abstract static void Run();
+}
+
+public class L1 : ILogic{
+    public static void Run(){
+        Console.WriteLine("L1");
+    }
+}
+
+public class L2 : ILogic{
+    public static void Run(){
+        Console.WriteLine("L2");
+    }
+}
+
+struct G<T> where T : ILogic
+{
+    public void Test()
+    {
+        T.Run();
+    }
+}

src/tests/Loader/classloader/StaticVirtualMethods/RegressionTests/GitHub_74792.csproj

@@ -0,0 +1,9 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <AllowUnsafeBlocks>true</AllowUnsafeBlocks>
+    <OutputType>Exe</OutputType>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="$(MSBuildProjectName).cs" />
+  </ItemGroup>
+</Project>