Is this a bug with C# records and DataAnnotation? Can't get [Required] attribute to work without nasty hack

Question

This code will pass, and shouldn\'t.

public record EmptyString([Required]string Name);
var context = new ValidationContext(src, null, null);

var es = new Emp