Taking into account that you actually have to know...
# language-proposalsd
dmitry.petrov
01/20/2017, 8:41 AMTaking into account that you actually have to know the sealed tree to perform the exhaustiveness check,
it doesn't look that much complex.