Interesting; I must have “over-read” the restriction. You are correct. Re-reading the doc, the restriction is that all fields of a value type must be final, be

Interesting; I must have “over-read” the restriction. You are correct. Re-reading the doc, the restriction is that all fields of a value type must be final, because value objects do not have identity.