Unboxed variant doesn't work when a payload record is defined in the recursive type definition

[DZakh]

Both v11 and v12

https://rescript-lang.org/try?version=v12.0.0-alpha.9&module=esmodule&code=C4TwDgpgBA9gRgKwgY2FAvFA3gMxjALigGdgAnASwDsBzAXwCgABAVyrhgA8IATB0SFGABDGjV4YoAeUQpgACnhJUASigAfKADEq8thTToAfLFmqG-cNDIpTy4ACZJufEVKVajVuy4ThVHiFRcR4nTBl7RTNHNU0dPSoDDBMlOQcVBiA

[cristianoc]

It seems the definition of object2 is not found when the well formedness check for unboxed variants is triggered.
That's likely caused by how recursive types are handled, in that when the check is triggered we're still in the middle of type checking the recursive definitions.

type rec object2 = {foo: string}
@unboxed and tagged2 = Object(object2) | Fn(unit => object2)

[DZakh]

Nice, thank you very much 🙏