On Sun, Oct 30, 2022 at 12:57 PM Marc Nieper-Wißkirchen < [email protected]> wrote:
> Global record-type definitions are effectively non-generative. > Quite so. So even if the default kind of record-type is generative, the global ones can be treated as if they are non-generative, which means there is no additional overhead for most record types. If we default to non-generative local records, then we get unexpected results.
