//non-compiled with javac: Compilable with Java14
package com.puppycrawl.tools.checkstyle.checks.sizes.recordcomponentnumber;

/* Config:
 *
 * max = 8
 */
public record InputRecordComponentNumberTopLevel2<T>() { // ok

}
