Failed to create generic virtual method implementation

[MackinnonBuck]

Description

NativeAOT fails to generate the implementation for a generic virtual method when:

• Its type argument is constrained to an interface declaring a generic static abstract interface method
• The implementation invokes the generic abstract interface method, passing a value type as the type argument

Full code snippet is included in the repro steps.

Reproduction Steps

1. Create a new console app (dotnet new console)
2. Edit the project file to include <PublishAot>true</PublishAot>
3. Replace Program.cs with the following:

   ((IFoo)new Foo()).Invoke<Bar>();
   
   interface IFoo
   {
       void Invoke<T>() where T : IBar;
   }
   
   class Foo : IFoo
   {
       public void Invoke<T>() where T : IBar
           => T.Invoke<int>(); // Fails for any value type, succeeds for any reference type
   }
   
   interface IBar
   {
       static abstract void Invoke<T>();
   }
   
   class Bar : IBar
   {
       public static void Invoke<T>()
           => Console.WriteLine("Hello, world!");
   }

4. Run dotnet publish in the folder containing the project
5. Navigate to the publish output and run the produced executable

Expected behavior

The program outputs "Hello, world!"

Actual behavior

The program crashes with the following output:

Process terminated. Failed to create generic virtual method implementation

Declaring type: Foo
Method name: Invoke
Instantiation:
  Argument 00000000: Bar

   at System.RuntimeExceptionHelpers.FailFast(String, Exception, String, RhFailFastReason, IntPtr, IntPtr) + 0x229
   at Internal.Runtime.TypeLoader.TypeLoaderEnvironment.ResolveGenericVirtualMethodTarget(RuntimeTypeHandle, RuntimeMethodHandle) + 0x2a7
   at System.Runtime.TypeLoaderExports.<>c.<GVMLookupForSlotSlow>b__8_0(IntPtr, IntPtr, Object, IntPtr&) + 0x3e
   at System.Runtime.TypeLoaderExports.CacheMiss(IntPtr, IntPtr, RuntimeObjectFactory, Object) + 0x3c
   at System.Runtime.TypeLoaderExports.GVMLookupForSlotSlow(Object, RuntimeMethodHandle) + 0x68
   at System.Runtime.TypeLoaderExports.GVMLookupForSlot(Object, RuntimeMethodHandle) + 0xa2
   at Program.<Main>$(String[] args) + 0x23

Regression?

Tested against the following versions of Microsoft.NETCore.App:

• 9.0.0-preview.6.24327.7
• 8.0.7
• 7.0.20

The problem reproduces on all of these versions, so I'm inclined to think this is not a regression.

Known Workarounds

No response

Configuration

.NET SDK version: 9.0.100-preview.6.24328.19
OS: Windows 11 Enterprise Build 22631.3880
Architecture: x64

I haven't tested the repro on other configurations.

Other information

No response

[dotnet-policy-service]

Tagging subscribers to this area: @agocke, @MichalStrehovsky, @jkotas
See info in area-owners.md if you want to be subscribed.