// Relevant code of the Mapperly definition and all relevant classes
[Mapper]
public static partial class CardMapper
{
    public static partial Card MapToMembersCard(this CardDto dto);

    private static string?[] MapToStringArray(string?[] source)
    {
        var target = new string[source.Length];
        for (var i = 0; i < source.Length; i++)
        {
            target[i] = source[i] ?? throw new System.NullReferenceException($"Sequence {nameof(source)}, contained a null value at index {i}.");
        }
        return target;
    }
}

// Actual relevant code generated by Mapperly
// see also https://mapperly.riok.app/docs/configuration/generated-source/
[global::System.CodeDom.Compiler.GeneratedCode("Riok.Mapperly", "4.0.0.0")]
private static string?[] MapToStringArray(string?[] source)
{
}

// The generated code how you expect it to look like
private static string?[] MapToNulableStringArray(string?[] source)
{
    var target = new string[source.Length];
    for (var i = 0; i < source.Length; i++)
    {
        target[i] = source[i] ?? throw new System.NullReferenceException($"Sequence {nameof(source)}, contained a null value at index {i}.");
    }
    return target;
}