RecordExhaustivenessResult (@NotNull List<? extends PsiCaseLabelElement> elements, @NotNull PsiType selectorType, @NotNull PsiElement context) { if (PsiUtil.getLanguageLevel(context) == LanguageLevel.JDK_20_PREVIEW) { return PatternHighlightingModelJava20Preview.checkRecordExhaustiveness(elements); } return checkRecordPatternExhaustivenessForDescription(preparePatternDescription(elements), selectorType, context); }