Added hook to allow for F# support. (#8722)

Author: michaelstaib

src/HotChocolate/Core/src/Types/Internal/ExtendedType.cs

@@ -1,11 +1,16 @@
+using System.Collections.Immutable;
 using System.Reflection;
+using HotChocolate.Types;
 
 #nullable enable
 
 namespace HotChocolate.Internal;
 
 internal sealed partial class ExtendedType : IExtendedType
 {
+    internal static ImmutableHashSet<Type> NonEssentialWrapperTypes { get; set; } =
+        [typeof(ValueTask<>), typeof(Task<>), typeof(NativeType<>), typeof(Optional<>)];
+
     private ExtendedType(
         Type type,
         ExtendedTypeKind kind,
@@ -220,4 +225,23 @@ public static ExtendedMethodInfo FromMethod(MethodInfo method, TypeCache cache)
 
         return Members.FromMethod(method, cache);
     }
+
+    public static void RegisterNonEssentialWrapperTypes(Type type)
+    {
+        ArgumentNullException.ThrowIfNull(type);
+
+        if (!type.IsGenericTypeDefinition)
+        {
+            throw new ArgumentException(
+                "The type must be a generic type definition.",
+                nameof(type));
+        }
+
+        if (NonEssentialWrapperTypes.Contains(type))
+        {
+            return;
+        }
+
+        NonEssentialWrapperTypes = NonEssentialWrapperTypes.Add(type);
+    }
 }

src/HotChocolate/Core/src/Types/Internal/TypeInfo.RuntimeType.cs

@@ -1,5 +1,4 @@
 using System.Diagnostics.CodeAnalysis;
-using HotChocolate.Types;
 
 #nullable enable
 
@@ -92,12 +91,12 @@ private static IExtendedType RemoveNonEssentialParts(IExtendedType type)
             short i = 0;
             var current = type;
 
-            while (IsWrapperType(current) ||
-                IsTaskType(current) ||
-                IsOptional(current) ||
-                IsFieldResult(current))
+            while (
+                current is { IsGeneric: true, Definition: { } definition }
+                && (ExtendedType.NonEssentialWrapperTypes.Contains(definition)
+                    || typeof(IFieldResult).IsAssignableFrom(current)))
             {
-                current = type.TypeArguments[0];
+                current = current.TypeArguments[0];
 
                 if (i++ > 64)
                 {
@@ -108,21 +107,5 @@ private static IExtendedType RemoveNonEssentialParts(IExtendedType type)
 
             return current;
         }
-
-        private static bool IsWrapperType(IExtendedType type) =>
-            type.IsGeneric &&
-            typeof(NativeType<>) == type.Definition;
-
-        private static bool IsTaskType(IExtendedType type) =>
-            type.IsGeneric &&
-            (typeof(Task<>) == type.Definition ||
-                typeof(ValueTask<>) == type.Definition);
-
-        private static bool IsOptional(IExtendedType type) =>
-            type.IsGeneric &&
-            typeof(Optional<>) == type.Definition;
-
-        private static bool IsFieldResult(IExtendedType type) =>
-            type.IsGeneric && typeof(IFieldResult).IsAssignableFrom(type);
     }
 }