Elliot Hillary

In 12.3 a record type with managed fields was no longer considered compatible with the `record` constraint, the motivation probably being to save the compiler from having to generate the...

That being said, this comment in the documentation is very confusing: > The unmanaged constraint can be used for generic types that are placed in the variant section of a...

Ah, that makes sense, I think that's exactly what's happened. I couldn't quite remember the details of why they changed `record` in 12.3 but that rings a bell. I wonder...

Hi @cjbooms, sounds good! Great point about how the exact setup of these spec properties might not necessarily translate to the author's intention - makes sense to make this an...