It internally holds something like an Ordinal: public static value class UserCategory { int ordinal; } So in principle: new UserCategory () new UserCategory () could produce different ordinal values.

This is an automatically published nightly release. This release may not be as stable as versioned releases and does not contain release notes.