record (@Nullable Integer level, @NotNull PsiParameter currentParameter, @NotNull PsiClass recordClass, @NotNull PsiSubstitutor classSubstitutor, @NotNull PsiForeachStatementBase base, @NotNull Options options, @NotNull ShowInfoFolder showInfoFolder) { }