F# 9.0 Invalid sample for struct discriminated unions

[ryanovic]

In the language reference document(Discriminated Unions) provided the following F# code example:

[<Struct>]
type Multicase =
    | Case1 of string
    | Case2 of int
    | Case3 of double

Which is not correct, and would not compile with the recent .net9 SDK(error FS3585: If a multicase union type is a struct, then all fields with the same name must be of the same type). According to the other article(What's new in F# 9) only fields which have the same name and type, can share the same memory location, so it will not work for string / int / double intersection.

[welcome]

Thank you for opening an issue! One of our team members will get back to you with additional information.

If this is a product issue, please close this issue and contact the product's support instead. For a list of support websites, see Support for Microsoft products and apps.