Generating Generic Options

[biqas]

Hello,

This does not work:

[Union]
public partial record Response
{
    public partial record Ok;
    public partial record Ok<T>;
}

It complains that the abstract members are not implemented.

Also this does not work:

[Union]
public partial record Response<T>
{
    public partial record Ok;
    public partial record Ok(T Data);
}

Or this:

[Union]
public partial record Response
{
    public partial record Ok;
}
[Union]
public partial record Response<T>
{
    public partial record Ok(T Data);
}

[domn1995]

I don't see a good argument for supporting the first code snippet. Maybe if you wouldn't mind expanding on why that would be valuable?

As for the second, there's two alternative designs that I believe fulfill your needs:

• Have a single Ok(T? Data) variant. A null property would indicate that there's no data.
• Name the generic variant something else like OkWithContent(T Data).