<div dir="auto">Hello <span class="gmail_chip gmail_plusreply" dir="auto"><a href="mailto:valhalla-dev@openjdk.java.net" style="color:#15c;text-decoration:underline">@valhalla-dev</a></span>,<div dir="auto"><br></div><div dir="auto">I read through JEP 401, and the subsection about subtyping surprised me.</div><div dir="auto"><br></div><div dir="auto">It appears that Abstract Value Classes can permit both Value child classes and Identity child classes. The example of BigInteger helps explain why.</div><div dir="auto"><br></div><div dir="auto">Ok, but there doesn't seem to be any way to say "only value classes can extend me!"</div><div dir="auto"><br></div><div dir="auto">Why is that?</div><div dir="auto"><br></div><div dir="auto">And to be clear, I am not bothered by Abstract Value Classes permitting Identity children, that's fine. I'm moreso confused by lack of ability to say "only value children".</div><div dir="auto"><br></div><div dir="auto">Thank you for your time and consideration.</div><div dir="auto">David Alayachew</div></div>