record (@NotNull PsiType psiType, @NotNull PatternHighlightingModelJava20Preview.BranchesExhaustiveness branchesExhaustiveness) { GroupExhaustiveness(@NotNull PsiType psiType, @NotNull RecordExhaustivenessResult result, @NotNull Collection<List<PsiPattern>> branches) { this(psiType, new BranchesExhaustiveness(result, branches)); } }