QW0101: Required attribute cannot invalidate value types

[Corniel]

The [Required] attribute checks if the value is null. This is always true for value types except for Nullable<T>. The use of the [Required] attribute is most likely not doing what might be expected, and should be prevented.

Non-compliant

class Model
{
    [Required]
    public int Number { get; init; }
}

Compliant

If the default value was is not allowed:

class Model
{
    [Qowaiv.Valdation.DataAnnotations.Mandatory]
    public int Number { get; init; }
}

If not set should be able possible (but is invalid):

class Model
{
    [Required]
    public int? Number { get; init; }
}

If it must only be assured that the value is set in code.

class Model
{
    public required int Number { get; init; }
}

[LauraXiulan]

See comments