Is there an existing issue for this?
Describe the bug
A property of a class or record that has the [DefaultValue] attribute currently does not have a default in the schema produced by the .NET 9 OpenAPI document generation feature.
Expected Behavior
A property with the [DefaultValue] attribute should have a default with the value specified in the generated OpenAPI schema.
Steps To Reproduce
Not minimal, but there is a recreate in the "Schemas" section of my aspnet-openapi-examples project.
Exceptions (if any)
No response
.NET Version
9.0-preview4
Anything else?
No response