Support for Java 14+ records about immutables HOT 3 OPEN

We're planning to add quite full support for records. Most probably it will be Immutables 3 . But there's the way now, using @Builder.Constructor annotation on a compact constructor. @Builder.Constructor was originally was created to support free-form objects/pojo constructors.
See #1285 for the details, in particular, here's the example (#1285 (comment))

record Uio(
  int x,
  String b,
  boolean z
) {
  @Builder.Constructor Uio {}
}

var b = new UioBuilder()
  .x(4)
  .b("xx")
  .z(true)
  .build();

from immutables.

Can't wait to see this in a release!

from immutables.

Would it be possible to also have @Value.Redacted annotations supported for Java records? One selling point of records is their pretty-print logging, but every now and then there's a need to mask sensitive fields.

from immutables.