Sealed/Nestmates in java.time.*

Stephen Colebourne scolebourne at
Tue Jun 11 13:16:12 UTC 2019

Not sure if this should go to core-libs now. Anyway, I realised today
that three classes in java.time.* probably form a nest and would be a
reaonable test for any new nest/sealed syntax:

* ZoneId
* ZoneOffet
* ZoneRegion

The context was this issue:

I see these as a nest because the intention is that they form a closed
set with no additional subclasses. (Given that ZoneRegion is
package-private, the exhaustivenss check of sealed types won't be
useful, but it still seems worth documenting in code the closed set)


More information about the amber-dev mailing list