Extend Sealed Types to support GADT
Nikita Eshkeev
neshkeev at yandex.ru
Sat Nov 14 21:44:11 UTC 2020
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20201115/d8bacbd8/attachment.htm>
More information about the compiler-dev
mailing list