Add standard implicit array-to-Span conversions

src/Compilers/CSharp/Portable/Binder/Binder_Conversions.cs

@@ -484,6 +484,18 @@ void checkConstraintLanguageVersionAndRuntimeSupportForConversion(SyntaxNode syn
 
                     CheckInlineArrayTypeIsSupported(syntax, source.Type, elementField.Type, diagnostics);
                 }
+                else if (conversion.IsSpan)
+                {
+                    if (destination.OriginalDefinition.Equals(Compilation.GetWellKnownType(WellKnownType.System_ReadOnlySpan_T), TypeCompareKind.AllIgnoreOptions))
+                    {
+                        _ = GetWellKnownTypeMember(WellKnownMember.System_ReadOnlySpan_T__ctor_Array, diagnostics, syntax: syntax);
+                    }
+                    else
+                    {
+                        Debug.Assert(destination.OriginalDefinition.Equals(Compilation.GetWellKnownType(WellKnownType.System_Span_T), TypeCompareKind.AllIgnoreOptions));
+                        _ = GetWellKnownTypeMember(WellKnownMember.System_Span_T__ctor_Array, diagnostics, syntax: syntax);
+                    }
+                }
             }
         }
 

src/Compilers/CSharp/Portable/Binder/Binder_Invocation.cs

@@ -1241,7 +1241,7 @@ private BoundCall BindInvocationExpressionContinued(
                 ParameterSymbol receiverParameter = method.Parameters.First();
 
                 // we will have a different receiver if ReplaceTypeOrValueReceiver has unwrapped TypeOrValue
-                if ((object)receiver != receiverArgument)
+                if ((object)receiver != methodGroup.Receiver)
                 {
                     // Because the receiver didn't pass through CoerceArguments, we need to apply an appropriate conversion here.
                     Debug.Assert(argsToParams.IsDefault || argsToParams[0] == 0);

src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/Conversion.cs

@@ -244,6 +244,7 @@ private static void AssertTrivialConversion(ConversionKind kind)
                 case ConversionKind.InterpolatedString:
                 case ConversionKind.InterpolatedStringHandler:
                 case ConversionKind.InlineArray:
+                case ConversionKind.ImplicitSpan:
                     isTrivial = true;
                     break;
 
@@ -294,6 +295,7 @@ internal static Conversion GetTrivialConversion(ConversionKind kind)
         internal static Conversion ImplicitPointer => new Conversion(ConversionKind.ImplicitPointer);
         internal static Conversion FunctionType => new Conversion(ConversionKind.FunctionType);
         internal static Conversion InlineArray => new Conversion(ConversionKind.InlineArray);
+        internal static Conversion ImplicitSpan => new Conversion(ConversionKind.ImplicitSpan);
 
         // trivial conversions that could be underlying in nullable conversion
         // NOTE: tuple conversions can be underlying as well, but they are not trivial 
@@ -819,6 +821,20 @@ public bool IsReference
             }
         }
 
+        /// <summary>
+        /// Returns true if the conversion is a span conversion.
+        /// </summary>
+        /// <remarks>
+        /// Span conversion is available since C# 13 as part of the "first-class Span types" feature.
+        /// </remarks>
+        internal bool IsSpan // PROTOTYPE: Make part of public API
+        {
+            get
+            {
+                return Kind == ConversionKind.ImplicitSpan;
+            }
+        }
+
         /// <summary>
         /// Returns true if the conversion is an implicit user-defined conversion or explicit user-defined conversion.
         /// </summary>

src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/ConversionKind.cs

@@ -68,5 +68,7 @@ internal enum ConversionKind : byte
         InterpolatedStringHandler, // A conversion from an interpolated string literal to a type attributed with InterpolatedStringBuilderAttribute
 
         InlineArray, // A conversion from an inline array to Span/ReadOnlySpan
+
+        ImplicitSpan, // A conversion between array, (ReadOnly)Span, string - part of the "first-class Span types" feature
     }
 }

src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/ConversionKindExtensions.cs

@@ -53,6 +53,7 @@ public static bool IsImplicitConversion(this ConversionKind conversionKind)
                 case ObjectCreation:
                 case InlineArray:
                 case CollectionExpression:
+                case ImplicitSpan:
                     return true;
 
                 case ExplicitNumeric:

src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/ConversionsBase.cs

@@ -602,6 +602,7 @@ private static bool IsStandardImplicitConversionFromExpression(ConversionKind ki
                 case ConversionKind.StackAllocToPointerType:
                 case ConversionKind.StackAllocToSpanType:
                 case ConversionKind.InlineArray:
+                case ConversionKind.ImplicitSpan:
                     return true;
                 default:
                     return false;
@@ -906,6 +907,12 @@ private Conversion DeriveStandardExplicitFromOppositeStandardImplicitConversion(
 
                     break;
 
+                case ConversionKind.ImplicitSpan:
+                    // Implicit span conversion, unlike other standard implicit conversions,
+                    // does not imply opposite standard explicit conversion.
+                    impliedExplicitConversion = Conversion.NoConversion;
+                    break;
+
                 default:
                     throw ExceptionUtilities.UnexpectedValue(oppositeConversion.Kind);
             }
@@ -1014,6 +1021,11 @@ private Conversion ClassifyImplicitBuiltInConversionFromExpression(BoundExpressi
                 return Conversion.ImplicitDynamic;
             }
 
+            if (HasImplicitSpanConversion(source, destination, ref useSiteInfo))
+            {
+                return Conversion.ImplicitSpan;
+            }
+
             // The following conversions only exist for certain form of expressions, 
             // if we have no expression none if them is applicable.
             if (sourceExpression == null)
@@ -1916,6 +1928,12 @@ public Conversion ClassifyImplicitExtensionMethodThisArgConversion(BoundExpressi
                 {
                     return Conversion.ImplicitReference;
                 }
+
+                // PROTOTYPE: Investigate callers where Compilation is null.
+                if (Compilation is not null && HasImplicitSpanConversion(sourceType, destination, ref useSiteInfo))
+                {
+                    return Conversion.ImplicitSpan;
+                }
             }
 
             if (sourceExpressionOpt?.Kind == BoundKind.TupleLiteral)
@@ -1977,6 +1995,7 @@ public static bool IsValidExtensionMethodThisArgConversion(Conversion conversion
                 case ConversionKind.Identity:
                 case ConversionKind.Boxing:
                 case ConversionKind.ImplicitReference:
+                case ConversionKind.ImplicitSpan:
                     return true;
 
                 case ConversionKind.ImplicitTuple:
@@ -3025,7 +3044,7 @@ internal bool HasImplicitConversionToOrImplementsVarianceCompatibleInterface(Bou
         // The rules for variant interface and delegate conversions are the same:
         //
         // An interface/delegate type S is convertible to an interface/delegate type T 
-        // if and only if T is U<S1, ... Sn> and T is U<T1, ... Tn> such that for all
+        // if and only if S is U<S1, ... Sn> and T is U<T1, ... Tn> such that for all
         // parameters of U:
         //
         // * if the ith parameter of U is invariant then Si is exactly equal to Ti.
@@ -3908,5 +3927,45 @@ private static bool IsIntegerTypeSupportingPointerConversions(TypeSymbol type)
 
             return false;
         }
+
+        private bool HasImplicitSpanConversion(TypeSymbol source, TypeSymbol destination, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
+        {
+            if (!Compilation.IsFeatureEnabled(MessageID.IDS_FeatureFirstClassSpan))
+            {
+                return false;
+            }
+
+            // SPEC: From any single-dimensional `array_type` with element type `Ei`...
+            if (source is ArrayTypeSymbol { IsSZArray: true, ElementTypeWithAnnotations: { } elementType })
+            {
+                // SPEC: ...to `System.Span<Ei>`.
+                if (destination.OriginalDefinition.Equals(Compilation.GetWellKnownType(WellKnownType.System_Span_T), TypeCompareKind.AllIgnoreOptions))
+                {
+                    var spanElementType = ((NamedTypeSymbol)destination).TypeArgumentsWithDefinitionUseSiteDiagnostics(ref useSiteInfo)[0];
+                    return hasIdentityConversion(elementType, spanElementType);
+                }
+
+                // SPEC: ...to `System.ReadOnlySpan<Ui>`, provided that `Ei` is covariance-convertible to `Ui`.
+                if (destination.OriginalDefinition.Equals(Compilation.GetWellKnownType(WellKnownType.System_ReadOnlySpan_T), TypeCompareKind.AllIgnoreOptions))
+                {
+                    var spanElementType = ((NamedTypeSymbol)destination).TypeArgumentsWithDefinitionUseSiteDiagnostics(ref useSiteInfo)[0];
+                    return hasCovariantConversion(elementType, spanElementType, ref useSiteInfo);
+                }
+            }
+
+            return false;
+
+            bool hasCovariantConversion(TypeWithAnnotations source, TypeWithAnnotations destination, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
+            {
+                return hasIdentityConversion(source, destination) ||
+                    HasImplicitReferenceConversion(source, destination, ref useSiteInfo);
+            }
+
+            bool hasIdentityConversion(TypeWithAnnotations source, TypeWithAnnotations destination)
+            {
+                return HasIdentityConversionInternal(source.Type, destination.Type) &&
+                    HasTopLevelNullabilityIdentityConversion(source, destination);
+            }
+        }
     }
 }

src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/UserDefinedImplicitConversions.cs

@@ -666,6 +666,8 @@ private static bool IsEncompassingImplicitConversionKind(ConversionKind kind)
                 case ConversionKind.ImplicitPointer:
                 // Added for C# 12
                 case ConversionKind.InlineArray:
+                // Added for C# 13
+                case ConversionKind.ImplicitSpan:
                     return true;
 
                 default:

src/Compilers/CSharp/Portable/CSharpResources.resx

@@ -7956,4 +7956,7 @@ To remove the warning, you can use /reference instead (set the Embed Interop Typ
   <data name="ERR_BadAllowByRefLikeEnumerator" xml:space="preserve">
     <value>foreach statement cannot operate on enumerators of type '{0}' because it is a type parameter that allows ref struct and it is not known at compile time to implement IDisposable.</value>
   </data>
+  <data name="IDS_FeatureFirstClassSpan" xml:space="preserve">
+    <value>first-class Span types</value>
+  </data>
 </root>

src/Compilers/CSharp/Portable/Errors/MessageID.cs

@@ -286,6 +286,8 @@ internal enum MessageID
         IDS_FeatureRefUnsafeInIteratorAsync = MessageBase + 12843,
 
         IDS_FeatureRefStructInterfaces = MessageBase + 12844,
+
+        IDS_FeatureFirstClassSpan = MessageBase + 12845,
     }
 
     // Message IDs may refer to strings that need to be localized.
@@ -472,6 +474,7 @@ internal static LanguageVersion RequiredVersion(this MessageID feature)
                 case MessageID.IDS_FeatureParamsCollections:
                 case MessageID.IDS_FeatureRefUnsafeInIteratorAsync:
                 case MessageID.IDS_FeatureRefStructInterfaces:
+                case MessageID.IDS_FeatureFirstClassSpan:
                     return LanguageVersion.Preview;
 
                 // C# 12.0 features.

src/Compilers/CSharp/Portable/FlowAnalysis/NullableWalker.cs

@@ -8890,6 +8890,7 @@ private TypeWithState VisitConversion(
                     break;
 
                 case ConversionKind.InlineArray:
+                case ConversionKind.ImplicitSpan:
                     if (checkConversion)
                     {
                         conversion = GenerateConversion(_conversions, conversionOperand, operandType.Type, targetType, fromExplicitCast, extensionMethodThisArgument, isChecked: conversionOpt?.Checked ?? false);

src/Compilers/CSharp/Portable/Lowering/DiagnosticsPass_ExpressionTrees.cs

@@ -811,6 +811,8 @@ public override BoundNode VisitConversion(BoundConversion node)
                     }
                     break;
 
+                // PROTOTYPE: ImplicitSpan
+
                 default:
 
                     if (_inExpressionLambda && node.Conversion.Method is MethodSymbol method && (method.IsAbstract || method.IsVirtual) && method.IsStatic)

src/Compilers/CSharp/Portable/Lowering/LocalRewriter/LocalRewriter_Conversion.cs

@@ -614,6 +614,32 @@ private BoundExpression MakeConversionNodeCore(
                         return _factory.Call(null, createSpan, rewrittenOperand, _factory.Literal(length), useStrictArgumentRefKinds: true);
                     }
 
+                case ConversionKind.ImplicitSpan:
+                    {
+                        var spanType = (NamedTypeSymbol)rewrittenType;
+
+                        WellKnownMember ctorMember;
+                        if (spanType.OriginalDefinition.Equals(_compilation.GetWellKnownType(WellKnownType.System_ReadOnlySpan_T), TypeCompareKind.AllIgnoreOptions))
+                        {
+                            ctorMember = WellKnownMember.System_ReadOnlySpan_T__ctor_Array;
+                        }
+                        else
+                        {
+                            Debug.Assert(spanType.OriginalDefinition.Equals(_compilation.GetWellKnownType(WellKnownType.System_Span_T), TypeCompareKind.AllIgnoreOptions));
+                            ctorMember = WellKnownMember.System_Span_T__ctor_Array;
+                        }
+
+                        if (!TryGetWellKnownTypeMember(rewrittenOperand.Syntax, ctorMember, out MethodSymbol? ctor))
+                        {
+                            Debug.Fail("We should have reported an error during binding for missing members for span conversion.");
+                            return BadExpression(rewrittenOperand.Syntax, rewrittenType, []);
+                        }
+                        else
+                        {
+                            return new BoundObjectCreationExpression(rewrittenOperand.Syntax, ctor.AsMember((NamedTypeSymbol)rewrittenType), rewrittenOperand);
+                        }
+                    }
+
                 default:
                     break;
             }