[Issue]: Оverride string without setter should be allowed for required properties when initialized via constructor

[dzhukovsky]

In .NET 8, when overriding a virtual required string property from a base class, it’s currently not allowed to simply declare override string { get; } in the derived class if the property is initialized via a constructor. The requirement for a required modifier in the derived class or a setter seems unnecessary in cases where the property is already initialized through the constructor.

Expected Behavior:
It should be possible to override a virtual required string property in a derived class with just override string { get; } when the property is initialized through the constructor or another method. The required modifier should not need to be repeated in the derived class, as the requirement is already enforced by the base class.

Actual Behavior:
The compiler enforces the presence of the required modifier or a setter in the derived class, even though the property is initialized via a constructor. This restricts flexibility and forces developers to repeat the required modifier or add a setter unnecessarily.

Code Example:

public class BaseClass
{
    public virtual required string Name { get; init; }
}

public class DerivedClass : BaseClass
{
    public override string Name { get; } // Should be valid without "required"
    public DerivedClass(string name)
    {
        Name = name; // Property is initialized via constructor
    }
}

Steps to Reproduce:

1. Create a base class with a virtual required string property and an init accessor.
2. Override the property in the derived class with override string { get; }, and initialize it via the constructor.
3. Attempt to compile.

Development Environment:
.NET SDK 8.0
Visual Studio 2022

Additional Information:
The required modifier should only be needed in the base class to enforce initialization. When overriding in a derived class, developers should be able to simply use override string { get; } without being forced to repeat the required modifier or include a setter, as long as the property is properly initialized through other means (e.g., a constructor).