// version 14:

@lombok.experimental.FieldDefaults(makeFinal = true)
public record FieldDefaultsOnRecord(String a, String b) {
}