Proposed fix for Optional RestartSequenceOperation.StartValue #26560

src/EFCore.Design/Migrations/Design/CSharpMigrationOperationGenerator.cs

@@ -1790,7 +1790,6 @@ protected virtual void Generate(RenameTableOperation operation, IndentedStringBu
     protected virtual void Generate(RestartSequenceOperation operation, IndentedStringBuilder builder)
     {
         builder.AppendLine(".RestartSequence(");
-
         using (builder.Indent())
         {
             builder
@@ -1805,14 +1804,17 @@ protected virtual void Generate(RestartSequenceOperation operation, IndentedStri
                     .Append(Code.Literal(operation.Schema));
             }
 
-            builder
-                .AppendLine(",")
-                .Append("startValue: ")
-                .Append(Code.Literal(operation.StartValue))
-                .Append(")");
+            if (operation.StartValue.HasValue)
+            {
+                builder
+                    .AppendLine(",")
+                    .Append("startValue: ")
+                    .Append(Code.Literal(operation.StartValue.Value));
+            }
 
             Annotations(operation.GetAnnotations(), builder);
         }
+        builder.Append(")");
     }
 
     /// <summary>

src/EFCore.Relational/Migrations/MigrationBuilder.cs

@@ -1233,12 +1233,12 @@ public MigrationBuilder(string? activeProvider)
     ///     See <see href="https://aka.ms/efcore-docs-migrations">Database migrations</see> for more information and examples.
     /// </remarks>
     /// <param name="name">The name of the sequence.</param>
-    /// <param name="startValue">The value at which the sequence will start, defaulting to 1.</param>
+    /// <param name="startValue">The value at which the sequence will start. If not specified,  <see langword="null" />, the sequence numbering restarts based on the original CREATE SEQUENCE options.</param>
     /// <param name="schema">The schema that contains the sequence, or <see langword="null" /> to use the default schema.</param>
     /// <returns>A builder to allow annotations to be added to the operation.</returns>
     public virtual OperationBuilder<RestartSequenceOperation> RestartSequence(
         string name,
-        long startValue = 1L,
+        long? startValue = null,
         string? schema = null)
     {
         Check.NotEmpty(name, nameof(name));

src/EFCore.Relational/Migrations/MigrationsSqlGenerator.cs

@@ -794,8 +794,14 @@ protected virtual IUpdateSqlGenerator SqlGenerator
         builder
             .Append("ALTER SEQUENCE ")
             .Append(Dependencies.SqlGenerationHelper.DelimitIdentifier(operation.Name, operation.Schema))
-            .Append(" RESTART WITH ")
-            .Append(longTypeMapping.GenerateSqlLiteral(operation.StartValue))
+            .Append(" RESTART");
+        if (operation.StartValue.HasValue)
+        {
+            builder
+                .Append(" WITH ")
+                .Append(longTypeMapping.GenerateSqlLiteral(operation.StartValue.Value));
+        }
+        builder
             .AppendLine(Dependencies.SqlGenerationHelper.StatementTerminator);
 
         EndStatement(builder);

src/EFCore.Relational/Migrations/Operations/RestartSequenceOperation.cs

@@ -23,7 +23,7 @@ public class RestartSequenceOperation : MigrationOperation
     public virtual string? Schema { get; set; }
 
     /// <summary>
-    ///     The value at which the sequence should re-start, defaulting to 1.
+    ///     The value at which the sequence should re-start, of <see langword="null" /> if the start value should not be specified .
     /// </summary>
-    public virtual long StartValue { get; set; } = 1L;
+    public virtual long? StartValue { get; set; }
 }

src/EFCore.SqlServer/Migrations/SqlServerMigrationsSqlGenerator.cs

@@ -541,8 +541,14 @@ protected override void Generate(RenameSequenceOperation operation, IModel? mode
         builder
             .Append("ALTER SEQUENCE ")
             .Append(Dependencies.SqlGenerationHelper.DelimitIdentifier(operation.Name, operation.Schema))
-            .Append(" RESTART WITH ")
-            .Append(IntegerConstant(operation.StartValue))
+            .Append(" RESTART");
+        if (operation.StartValue.HasValue)
+        {
+            builder
+                .Append(" WITH ")
+                .Append(IntegerConstant(operation.StartValue.Value));
+        }
+        builder
             .AppendLine(Dependencies.SqlGenerationHelper.StatementTerminator);
 
         EndStatement(builder);