[NativeAOT] Fix Activator.CreateInstance for shared generic structs

src/coreclr/nativeaot/System.Private.CoreLib/src/System/Activator.NativeAot.cs

@@ -63,7 +63,7 @@ public static partial class Activator
                 else
                 {
                     t = default!;
-                    RawCalliHelper.Call(defaultConstructor, ref Unsafe.As<T, byte>(ref t));
+                    ((delegate* <ref byte, void>)defaultConstructor)(ref Unsafe.As<T, byte>(ref t));
 
                     // Debugger goo so that stepping in works. Only affects debug info generation.
                     // The call gets optimized away.

src/coreclr/nativeaot/System.Private.TypeLoader/src/Internal/Runtime/TypeLoader/GenericDictionaryCell.cs

@@ -337,9 +337,19 @@ internal override IntPtr Create(TypeBuilder builder)
             {
                 IntPtr result = TypeLoaderEnvironment.TryGetDefaultConstructorForType(Type);
 
+                if (result != IntPtr.Zero)
+                {
+                    if (Type.IsValueType)
+                        Environment.FailFast("Here!");
 
-                if (result == IntPtr.Zero)
+                    // TODO
+                    //      result = TypeLoaderEnvironment.Instance.ConvertUnboxingFunctionPointerToUnderlyingNonUnboxingPointer(result, new RuntimeTypeHandle(pElementEEType));
+                }
+                else
+                {
                     result = RuntimeAugments.GetFallbackDefaultConstructor();
+                }
+
                 return result;
             }
         }

src/coreclr/tools/aot/ILCompiler.Compiler/Compiler/Compilation.cs

@@ -326,7 +326,7 @@ public ISymbolNode ComputeConstantLookup(ReadyToRunHelperId lookupKind, object t
                     {
                         var type = (TypeDesc)targetOfLookup;
                         MethodDesc ctor = GetConstructorForCreateInstanceIntrinsic(type);
-                        return NodeFactory.CanonicalEntrypoint(ctor);
+                        return type.IsValueType ? NodeFactory.ExactCallableAddress(ctor) : NodeFactory.CanonicalEntrypoint(ctor);
                     }
                 case ReadyToRunHelperId.ObjectAllocator:
                     {

src/coreclr/tools/aot/ILCompiler.Compiler/Compiler/DependencyAnalysis/GenericLookupResult.cs

@@ -781,7 +781,7 @@ public override ISymbolNode GetTarget(NodeFactory factory, GenericLookupResultCo
         {
             TypeDesc instantiatedType = _type.GetNonRuntimeDeterminedTypeFromRuntimeDeterminedSubtypeViaSubstitution(dictionary.TypeInstantiation, dictionary.MethodInstantiation);
             MethodDesc defaultCtor = Compilation.GetConstructorForCreateInstanceIntrinsic(instantiatedType);
-            return factory.CanonicalEntrypoint(defaultCtor);
+            return instantiatedType.IsValueType ? factory.ExactCallableAddress(defaultCtor) : factory.CanonicalEntrypoint(defaultCtor);
         }
 
         public override void AppendMangledName(NameMangler nameMangler, Utf8StringBuilder sb)

src/coreclr/tools/aot/ILCompiler.Compiler/IL/ILImporter.Scanner.cs

@@ -360,8 +360,9 @@ private void ImportCall(ILOpcode opcode, int token)
                     }
                     else
                     {
-                        MethodDesc ctor = Compilation.GetConstructorForCreateInstanceIntrinsic(method.Instantiation[0]);
-                        _dependencies.Add(_factory.CanonicalEntrypoint(ctor), reason);
+                        TypeDesc type = method.Instantiation[0];
+                        MethodDesc ctor = Compilation.GetConstructorForCreateInstanceIntrinsic(type);
+                        _dependencies.Add(type.IsValueType ? _factory.ExactCallableAddress(ctor) : _factory.CanonicalEntrypoint(ctor), reason);
                     }
 
                     return;

src/libraries/System.Runtime/tests/System.Runtime.Tests/System/ActivatorTests.Generic.cs

@@ -61,6 +61,22 @@ public void CreateInstanceT_StructWithoutDefaultConstructor_InvokesConstructor()
         public void CreateInstanceT_StructWithDefaultConstructorThatThrows_ThrowsTargetInvocationException() =>
             Assert.Throws<TargetInvocationException>(() => Activator.CreateInstance<StructWithDefaultConstructorThatThrows>());
 
+        [Fact]
+        public void CreateInstanceT_GenericTypes()
+        {
+            TestGenericClassWithDefaultConstructor<string>();
+            TestGenericClassWithDefaultConstructor<int>();
+
+            TestGenericStructWithDefaultConstructor<string>();
+            TestGenericStructWithDefaultConstructor<int>();
+
+            void TestGenericClassWithDefaultConstructor<T>()
+                => Assert.Equal(typeof(T), Activator.CreateInstance<GenericClassWithDefaultConstructor<T>>().TypeOfT);
+
+            void TestGenericStructWithDefaultConstructor<T>()
+                => Assert.Equal(typeof(T), Activator.CreateInstance<GenericStructWithDefaultConstructor<T>>().TypeOfT);
+        }
+
         private interface IInterface
         {
         }
@@ -96,5 +112,27 @@ private class ClassWithDefaultConstructorThatThrows
             public ClassWithDefaultConstructorThatThrows() =>
                 throw new Exception();
         }
+
+        public class GenericClassWithDefaultConstructor<T>
+        {
+            public GenericClassWithDefaultConstructor() =>
+                TypeOfT = typeof(T);
+
+            public Type TypeOfT { get; }
+        }
+
+        public struct StructWithDefaultConstructorThatThrows
+        {
+            public StructWithDefaultConstructorThatThrows() =>
+                throw new Exception();
+        }
+
+        public struct GenericStructWithDefaultConstructor<T>
+        {
+            public GenericStructWithDefaultConstructor() =>
+                TypeOfT = typeof(T);
+
+            public Type TypeOfT { get; }
+        }
     }
 }

src/libraries/System.Runtime/tests/System.Runtime.Tests/TestStructs/System.TestStructs.il

@@ -57,18 +57,6 @@
             ret
         }
     }
-
-    .class public sequential sealed StructWithDefaultConstructorThatThrows
-        extends [System.Runtime]System.ValueType
-    {
-        .size 1
-
-        .method public hidebysig specialname rtspecialname instance void .ctor () cil managed 
-        {
-            newobj instance void [System.Runtime]System.Exception::.ctor()
-            throw
-        }
-    }
 }
 
 .class public sequential sealed '.GlobalStructStartingWithDot'

src/tests/nativeaot/SmokeTests/DynamicGenerics/activation.cs

@@ -131,6 +131,18 @@ public override string ToString()
             return memberVar;
         }
     }
+    struct StructToString<T>
+    {
+        string memberVar;
+        public StructToString()
+        {
+            memberVar = typeof(T).Name;
+        }
+        public override string ToString()
+        {
+            return memberVar;
+        }
+    }
     class SomeUnrealtedType<T>
     {
         string memberVar;
@@ -195,5 +207,7 @@ public static void TestDefaultCtorInLazyGenerics()
         AllocViaGVMBase typeWithGVM = AllocViaGVMDerived.Alloc();
         Assert.AreEqual("ToStringIsInteresting1", typeWithGVM.Alloc<ToStringIsInteresting1>().ToString());
         Assert.AreEqual("ToStringIsInteresting2", typeWithGVM.Alloc<ToStringIsInteresting2>().ToString());
+        Assert.AreEqual("ToStringIsInteresting1", typeWithGVM.Alloc<StructToString<ToStringIsInteresting1>>().ToString());
+        Assert.AreEqual("ToStringIsInteresting2", typeWithGVM.Alloc<StructToString<ToStringIsInteresting2>>().ToString());
     }
 }