Cannot use `@s.default()` or `S.option()` on variants/unions

[benadamstyles]

When I do property: @s.default(A) variant, where type variant = A | B | C, Sury throws Can't set default for "A" | "B" | "C" | undefined.

It seems S.option flattens unions and then S.Option.getWithDefault complains that there are more than 2 types in the union.

[benadamstyles]

Just to be clear, this also applies to:

@schema
type t = [#a | #b]

let schema = S.option(schema)->S.Option.getOr(#a)

same error is thrown at runtime.

[DZakh]

I think it's a regression of v11 and should work correctly in rescript-schema 9.3

[benadamstyles]

What would that downgrade look like? Is rescript-schema 9.3 compatible with ReScript 12?

[DZakh]

Yes, there's 9.3.0-rescript12.0. Downgrade shouldn't be painful