arktype icon indicating copy to clipboard operation
arktype copied to clipboard

Published 20 hours ago • verified publisher icon arktypeio

Reenable discrimination and indiscriminable morph errors

Open ssalbdivad opened this issue 9 months ago • 0 comments

Currently unions don't use their discriminators during traversal. Reintegrate these, and ensure that unions of morphs that are not discriminable are errors.

ssalbdivad avatar May 03 '24 21:05 ssalbdivad