Why can you constrain to final classes and actors?

As an API contract, being final is an assertion that there will never be subclasses of a type, not just that there don't happen to be any right now. For actors we decided not to implement inheritance, but left the door open to it possibly happening later.

8 Likes