2.33.0: Missing @Override false positive for record constructor

[nlarsson]

When using constructor in record error-prone now gives a warning bout missing an override:

public record Example(int a) {
  public Example() {
    this(1);
  }
}

Example.java:[4,10] [MissingOverride] <init> is an explicitly declared accessor method for a record component; expected @Override
    (see https://errorprone.info/bugpattern/MissingOverride)
  Did you mean '@Override public Example() {'?

Suspecting that #4585 introduced this issue.

[tbroyer]

Fixed already in 81ae61d but not released yet

[nlarsson]

Fixed already in 81ae61d but not released yet

Cool, thank you!