Add extract method support for ref struct interfaces

The method extraction code uses ITypeParameterSymbol's constraints to generate the new method's text. This codepath had not yet been modified to support ITypeParameterSymbol.AllowsRefLikeType

This is in support of the "allows ref struct" on interfaces feature outlined here: #72124

This ref structs for interfaces feature was merged via this PR: #73567

src/EditorFeatures/CSharpTest/ExtractMethod/ExtractMethodTests.LanguageInteraction.cs

@@ -58,6 +58,39 @@ class Program
                 await TestExtractMethodAsync(code, expected);
             }
 
+            [Fact]
+            public async Task SelectTypeParameterWithAllowsRefStructAntiConstraint()
+            {
+                var code = """
+                    using System;
+
+                    class Program
+                    {
+                        void MyMethod1<TT>(TT tt) where TT : IDisposable, allows ref struct
+                        {
+                            [|tt.Dispose();|]
+                        }
+                    }
+                    """;
+                var expected = """
+                    using System;
+
+                    class Program
+                    {
+                        void MyMethod1<TT>(TT tt) where TT : IDisposable, allows ref struct
+                        {
+                            NewMethod(tt);
+                        }
+
+                        private static void NewMethod<TT>(TT tt) where TT : IDisposable, allows ref struct
+                        {
+                            tt.Dispose();
+                        }
+                    }
+                    """;
+
+                await TestExtractMethodAsync(code, expected);
+            }
             [Fact]
             public async Task SelectTypeParameter()
             {

src/Features/Core/Portable/ExtractMethod/MethodExtractor.CodeGenerator.cs

@@ -344,7 +344,7 @@ protected ImmutableArray<ITypeParameterSymbol> CreateMethodTypeParameters()
                 typeParameters.Add(CodeGenerationSymbolFactory.CreateTypeParameter(
                     parameter.GetAttributes(), parameter.Variance, parameter.Name, [], parameter.NullableAnnotation,
                     parameter.HasConstructorConstraint, parameter.HasReferenceTypeConstraint, parameter.HasUnmanagedTypeConstraint,
-                    parameter.HasValueTypeConstraint, parameter.HasNotNullConstraint, parameter.Ordinal));
+                    parameter.HasValueTypeConstraint, parameter.AllowsRefLikeType, parameter.HasNotNullConstraint, parameter.Ordinal));
             }
 
             return typeParameters.ToImmutableAndFree();

src/Workspaces/Core/Portable/Shared/Extensions/IMethodSymbolExtensions.cs

@@ -135,6 +135,7 @@ private static ImmutableArray<ITypeParameterSymbol> RenameTypeParameters(
                 typeParameter.HasConstructorConstraint,
                 typeParameter.HasReferenceTypeConstraint,
                 typeParameter.HasValueTypeConstraint,
+                typeParameter.AllowsRefLikeType,
                 typeParameter.HasUnmanagedTypeConstraint,
                 typeParameter.HasNotNullConstraint,
                 typeParameter.Ordinal);

src/Workspaces/SharedUtilitiesAndExtensions/Workspace/CSharp/Extensions/ITypeParameterSymbolExtensions.cs

@@ -74,6 +74,12 @@ private static void AddConstraintClauses(
             constraints.Add(ConstructorConstraint());
         }
 
+        if (typeParameter.AllowsRefLikeType)
+        {
+            // "allows ref struct" anti-constraint must be last
+            constraints.Add(AllowsConstraintClause([RefStructConstraint()]));
+        }
+
         if (constraints.Count == 0)
         {
             return;

src/Workspaces/SharedUtilitiesAndExtensions/Workspace/Core/CodeGeneration/CodeGenerationSymbolFactory.cs

@@ -322,7 +322,8 @@ public static ITypeParameterSymbol CreateTypeParameterSymbol(string name, int or
             attributes: default, varianceKind: VarianceKind.None,
             name: name, constraintTypes: [],
             hasConstructorConstraint: false, hasReferenceConstraint: false, hasValueConstraint: false,
-            hasUnmanagedConstraint: false, hasNotNullConstraint: false, ordinal: ordinal);
+            allowsRefLikeType: false, hasUnmanagedConstraint: false, hasNotNullConstraint: false, 
+            ordinal: ordinal);
     }
 
     /// <summary>
@@ -337,10 +338,11 @@ public static ITypeParameterSymbol CreateTypeParameter(
         bool hasReferenceConstraint = false,
         bool hasUnmanagedConstraint = false,
         bool hasValueConstraint = false,
+        bool allowsRefLikeType = false,
         bool hasNotNullConstraint = false,
         int ordinal = 0)
     {
-        return new CodeGenerationTypeParameterSymbol(null, attributes, varianceKind, name, nullableAnnotation, constraintTypes, hasConstructorConstraint, hasReferenceConstraint, hasValueConstraint, hasUnmanagedConstraint, hasNotNullConstraint, ordinal);
+        return new CodeGenerationTypeParameterSymbol(null, attributes, varianceKind, name, nullableAnnotation, constraintTypes, hasConstructorConstraint, hasReferenceConstraint, hasValueConstraint, hasUnmanagedConstraint, allowsRefLikeType, hasNotNullConstraint, ordinal);
     }
 
     /// <summary>

src/Workspaces/SharedUtilitiesAndExtensions/Workspace/Core/CodeGeneration/Symbols/CodeGenerationTypeParameterSymbol.cs

@@ -18,6 +18,7 @@ internal class CodeGenerationTypeParameterSymbol(
     bool hasConstructorConstraint,
     bool hasReferenceConstraint,
     bool hasValueConstraint,
+    bool allowsRefLikeType,
     bool hasUnmanagedConstraint,
     bool hasNotNullConstraint,
     int ordinal) : CodeGenerationTypeSymbol(containingType?.ContainingAssembly, containingType, attributes, Accessibility.NotApplicable, default, name, SpecialType.None, nullableAnnotation), ITypeParameterSymbol
@@ -27,7 +28,7 @@ internal class CodeGenerationTypeParameterSymbol(
     public bool HasConstructorConstraint { get; } = hasConstructorConstraint;
     public bool HasReferenceTypeConstraint { get; } = hasReferenceConstraint;
     public bool HasValueTypeConstraint { get; } = hasValueConstraint;
-    public bool AllowsRefLikeType => false;
+    public bool AllowsRefLikeType { get; } = allowsRefLikeType;
     public bool HasUnmanagedTypeConstraint { get; } = hasUnmanagedConstraint;
     public bool HasNotNullConstraint { get; } = hasNotNullConstraint;
     public int Ordinal { get; } = ordinal;
@@ -37,7 +38,8 @@ protected override CodeGenerationTypeSymbol CloneWithNullableAnnotation(Nullable
         return new CodeGenerationTypeParameterSymbol(
             this.ContainingType, this.GetAttributes(), this.Variance, this.Name, nullableAnnotation,
             this.ConstraintTypes, this.HasConstructorConstraint, this.HasReferenceTypeConstraint,
-            this.HasValueTypeConstraint, this.HasUnmanagedTypeConstraint, this.HasNotNullConstraint, this.Ordinal);
+            this.HasValueTypeConstraint, this.AllowsRefLikeType, this.HasUnmanagedTypeConstraint, 
+            this.HasNotNullConstraint, this.Ordinal);
     }
 
     public new ITypeParameterSymbol OriginalDefinition => this;