Nullable Analysis tracking field assignments in required setters

[5andr0]

It would be nice if the compiler extends the nullable analysis by tracking field assignments in setters of required fields, since the setters are always called (unless SetsRequiredMembers isn't used correctly)

It shouldn't be mandatory to use MemberNotNull in this case:

internal class C
{
    private string s;
    public required string S { 
        get => s;
        [MemberNotNull(nameof(s))]
        set => s = value; 
    }
}

C c = new() { S = "s" };