Add Trimming and NativeAoT tests for validation

Author: captainsafia

src/Validation/test/Microsoft.Extensions.Validation.NativeAotTests/BasicMinimalApiWithValidation.cs

@@ -0,0 +1,166 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+using System;
+using System.Collections.Generic;
+using System.ComponentModel.DataAnnotations;
+using Microsoft.AspNetCore.Builder;
+using Microsoft.AspNetCore.Http;
+using Microsoft.Extensions.DependencyInjection;
+using Microsoft.Extensions.Validation;
+
+var builder = WebApplication.CreateSlimBuilder();
+
+builder.Services.AddValidation();
+
+var app = builder.Build();
+
+// Validation endpoints with different validatable types
+app.MapGet("/customers/{id}", ([Range(1, int.MaxValue)] int id) =>
+    $"Getting customer with ID: {id}");
+
+app.MapPost("/customers", (Customer customer) =>
+    TypedResults.Created($"/customers/{customer.Id}", customer));
+
+app.MapPost("/orders", (Order order) =>
+    TypedResults.Created($"/orders/{order.OrderId}", order));
+
+app.MapPost("/products", (Product product) =>
+    TypedResults.Ok(new ProductResponse("Product created", product)));
+
+app.MapPut("/addresses/{id}", (int id, Address address) =>
+    TypedResults.Ok(new AddressResponse($"Address {id} updated", address)));
+
+app.MapPost("/users", (User user) =>
+    TypedResults.Created($"/users/{user.Id}", user));
+
+app.MapPost("/inventory", ([EvenNumber] int productId, [Required] string name) =>
+    TypedResults.Ok(new InventoryResponse(productId, name)));
+
+// Endpoint with disabled validation
+app.MapPost("/products/bulk", (Product[] products) =>
+    TypedResults.Ok(new BulkProductResponse("Bulk products created", products.Length)))
+    .DisableValidation();
+
+app.Run();
+
+return 100;
+
+public class Customer
+{
+    [Required]
+    [Range(1, int.MaxValue)]
+    public int Id { get; set; }
+
+    [Required]
+    [StringLength(100, MinimumLength = 2)]
+    public string Name { get; set; } = string.Empty;
+
+    [EmailAddress]
+    public string Email { get; set; } = string.Empty;
+
+    [Range(18, 120)]
+    [Display(Name = "Customer Age")]
+    public int Age { get; set; }
+
+    // Complex property with nested validation
+    public Address Address { get; set; } = new();
+}
+
+public record Product(
+    [Required] string Name,
+    [Range(0.01, double.MaxValue)] decimal Price,
+    [StringLength(500)] string Description = ""
+)
+{
+    [Required]
+    public string Category { get; set; } = string.Empty;
+}
+
+public class Address
+{
+    [Required]
+    [StringLength(200)]
+    public string Street { get; set; } = string.Empty;
+
+    [Required]
+    [StringLength(100)]
+    public string City { get; set; } = string.Empty;
+
+    [Required]
+    [RegularExpression(@"^\d{5}(-\d{4})?$", ErrorMessage = "Invalid ZIP code format")]
+    public string ZipCode { get; set; } = string.Empty;
+
+    [StringLength(2, MinimumLength = 2)]
+    public string State { get; set; } = string.Empty;
+}
+
+public class Order : IValidatableObject
+{
+    [Required]
+    public string OrderId { get; set; } = string.Empty;
+
+    [Required]
+    public int CustomerId { get; set; }
+
+    [Range(0.01, double.MaxValue)]
+    public decimal Total { get; set; }
+
+    public DateTime OrderDate { get; set; } = DateTime.Now;
+
+    public IEnumerable<ValidationResult> Validate(ValidationContext validationContext)
+    {
+        if (OrderDate > DateTime.Now.AddDays(1))
+        {
+            yield return new ValidationResult(
+                "Order date cannot be more than 1 day in the future.",
+                new[] { nameof(OrderDate) });
+        }
+
+        if (Total > 10000 && CustomerId == 0)
+        {
+            yield return new ValidationResult(
+                "High-value orders require a valid customer ID.",
+                new[] { nameof(CustomerId), nameof(Total) });
+        }
+    }
+}
+
+public record User(
+    [Required] [StringLength(50)] string Username,
+    [EmailAddress] string Email,
+    [Phone] string PhoneNumber = ""
+)
+{
+    [Required]
+    [Range(1, int.MaxValue)]
+    public int Id { get; set; }
+
+    [StringLength(100)]
+    public string DisplayName => $"{Username} ({Email})";
+
+    [CreditCard]
+    public string CreditCardNumber { get; set; }
+}
+
+// Custom validation attribute
+public class EvenNumberAttribute : ValidationAttribute
+{
+    protected override ValidationResult IsValid(object value, ValidationContext validationContext)
+    {
+        if (value is int number && number % 2 != 0)
+        {
+            return new ValidationResult("The number must be even.", new[] { validationContext.MemberName });
+        }
+
+        return ValidationResult.Success;
+    }
+}
+
+public record ProductResponse(string Message, Product Product);
+
+public record AddressResponse(string Message, Address Address);
+
+public record InventoryResponse(int ProductId, string Name);
+
+public record BulkProductResponse(string Message, int Count);

src/Validation/test/Microsoft.Extensions.Validation.NativeAotTests/Microsoft.Extensions.Validation.NativeAotTests.proj

@@ -0,0 +1,9 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+  <ItemGroup>
+    <TestConsoleAppSourceFiles Include="BasicMinimalApiWithValidation.cs">
+      <EnabledProperties>EnableRequestDelegateGenerator</EnabledProperties>
+    </TestConsoleAppSourceFiles>
+  </ItemGroup>
+
+</Project>

src/Validation/test/Microsoft.Extensions.Validation.TrimmingTests/Microsoft.Extensions.Validation.TrimmingTests.proj

@@ -0,0 +1,9 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+  <ItemGroup>
+    <TestConsoleAppSourceFiles Include="../Microsoft.Extensions.Validation.NativeAotTests/BasicMinimalApiWithValidation.cs">
+      <EnabledProperties>EnableRequestDelegateGenerator</EnabledProperties>
+    </TestConsoleAppSourceFiles>
+  </ItemGroup>
+
+</Project>