What is the default JSON behavior of a pure enum?

What is the default JSON behavior of a pure enum?

1. It has no default JSON representation; JSON_THROW_ON_ERROR produces JsonException.
2. It encodes to its case name as a JSON string.
3. It encodes to an empty object.
4. It encodes to the case index from cases().